<device class="8254_PIT" id="PIT" />
<device class="BOCHS_DEBUG" id="bochs debug"/>
<device class="OS_DEBUG" id="os debug" />
- <device class="ICC_BUS" id="icc"/>
- <device class="LAPIC" id="apic">
- <bus>icc</bus>
- </device>
+ <device class="MPTABLE" id="mptable"/>
+ <device class="LAPIC" id="apic"/>
<device class="IOAPIC" id="ioapic">
- <bus>icc</bus>
+ <apic>apic</apic>
</device>
-
<!--
<device class="CGA_VIDEO" id="cga" passthrough="enable" />
<device class="TELNET_CONSOLE" id="telnet console">
</device>
-->
+ <!-- Machine-check device -->
+<!--
+ <device class="MCHECK" id="MCHECK" />
+-->
+
+
<device class="NVRAM" id="nvram">
<storage>ide</storage>
</device>