<!-- Basic VMM system flags -->
<telemetry>enable</telemetry>
- <paging>nested</paging>
+ <paging mode="VTLB">shadow</paging>
<schedule_hz>100</schedule_hz>
<cores count="1"><core /></cores>
<!-- This is where you add disk images -->
<files>
<!-- The file 'id' is used as a reference for other configuration components -->
- <file id="boot-cd" filename="/home/ktpedre/google_code/smp_guest/kitten_guest/arch/x86_64/boot/image.iso" />
+ <file id="boot-cd" filename="image.iso" />
<!--<file id="harddisk" filename="firefox.img" />-->
</files>
<bus>pci0</bus>
<controller>southbridge</controller>
</device>
+
+
<!--
<device id="LNX_VIRTIO_SYM" name="sym_pci">
</frontend>
</device>
+
<!---
<device id="SYM_SWAP" name="sym swap">
<frontend tag="blk_virtio" />
<size>150</size>
</device>
--->
-
-
<device id="RAMDISK" name="HD0">
<file>harddisk</file>
<frontend tag="blk_virtio" />
</device>
-
+-->
<device id="NVRAM" name="nvram">
<storage>ide</storage>