{
  "machine": {
    "name": "c64_tibdd001",
    "sourcefile": "devices/bus/c64/tibdd001.cpp",
    "isdevice": "yes",
    "runnable": "no",
    "isbios": "no",
    "ismechanical": "no",
    "description": "C64 TIB Disc Drive DD-001 cartridge",
    "device_ref": [
      {
        "tag": ":_tmp:u4",
        "name": "wd37c65b"
      },
      {
        "tag": ":_tmp:u4:0",
        "name": "floppy_connector"
      }
    ]
  }
}