<machine name="idectrl32" sourcefile="devices/machine/idectrl.cpp" isdevice="yes" runnable="no" isbios="no" ismechanical="no">
  <description>IDE Controller (32-bit)</description>
  <device_ref tag=":_tmp:0" name="ata_slot" />
  <device_ref tag=":_tmp:1" name="ata_slot" />
  <slot name=":0"></slot>
  <slot name=":1"></slot>
</machine>