Merge branch 'devel' of ssh://palacios@newskysaw.cs.northwestern.edu/home/palacios...

[palacios-OLD.git] / utils / guest_creator / default.xml

diff --git a/utils/guest_creator/default.xml b/utils/guest_creator/default.xml
index 5635dbd..11326fc 100644 (file)
--- a/utils/guest_creator/default.xml
+++ b/utils/guest_creator/default.xml
@@ -10,6 +10,8 @@
        <paging>nested</paging>
        <schedule_hz>100</schedule_hz>
 
+       <cores count="1"><core /></cores>
+
 
        <!-- Memory redirections -->
        <!-- Redirects a guest's memory region to a host physical address -->
@@ -39,13 +41,15 @@
        <devices>
                <device id="8259A" name="PIC"/>
                <device id="KEYBOARD" name="keyboard"/>
-               <device id="8254_PIT" name="PIC" />
+               <device id="8254_PIT" name="PIT" />
                <device id="BOCHS_DEBUG" name="bochs debug"/>
                <device id="OS_DEBUG" name="os debug" />
+<!--
                <device id="LAPIC" name="apic"/>
                <device id="IOAPIC" name="ioapic">
                        <irq_bus>apic</irq_bus>
                </device>
+-->
 
 <!--
                <device id="CGA_VIDEO" name="cga" passthrough="enable" />
@@ -119,12 +123,12 @@
 -->
 
 
-<!--
+
                <device id="RAMDISK" name="HD0">
                        <file>harddisk</file>
                        <frontend tag="blk_virtio" />
                </device>
--->
+
 
                <device id="NVRAM" name="nvram">
                        <storage>ide</storage>