{
  "machine": {
    "name": "epg3231",
    "sourcefile": "devices/cpu/rii/riscii.cpp",
    "isdevice": "yes",
    "runnable": "no",
    "isbios": "no",
    "ismechanical": "no",
    "description": "Elan ePG3231"
  }
}