<machine name="kbdc8042" sourcefile="devices/machine/8042kbdc.cpp" isdevice="yes" runnable="no" isbios="no" ismechanical="no">
  <description>8042 Keyboard/Mouse Controller</description>
</machine>