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

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

diff --git a/utils/guest_creator/default.xml b/utils/guest_creator/default.xml
index 9d94d3f..6316742 100644 (file)
--- a/utils/guest_creator/default.xml
+++ b/utils/guest_creator/default.xml
@@ -7,7 +7,14 @@
 
        <!-- Basic VMM system flags -->
        <telemetry>enable</telemetry>
-       <paging mode="VTLB" />
+       <paging mode="shadow">
+               <strategy>VTLB</strategy>
+       </paging>
+<!--
+       <paging mode="nested">
+               <pagesize>4KB</pagesize>
+       </paging>
+-->
        <schedule_hz>100</schedule_hz>
 
        <cores count="1"><core /></cores>
@@ -44,12 +51,13 @@
                <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="ICC_BUS" name="icc"/>
+               <device id="LAPIC" name="apic">
+                       <bus>icc</bus>
+               </device>
                <device id="IOAPIC" name="ioapic">
-                       <irq_bus>apic</irq_bus>
+                       <bus>icc</bus>
                </device>
--->
 
 <!--
                <device id="CGA_VIDEO" name="cga" passthrough="enable" />