4 <telemetry>enable</telemetry>
5 <paging>nested</paging>
6 <schedule_hz>100</schedule_hz>
10 <start>0xa0000</start>
12 <host_addr>0xa0000</host_addr>
17 <file id="boot-cd" filename="/home/jarusl/image.iso" />
18 <!--<file id="harddisk" filename="firefox.img" />-->
23 <device id="KEYBOARD" />
24 <device id="8254_PIT" />
25 <device id="BOCHS_DEBUG" />
26 <device id="OS_DEBUG" />
29 <irq_bus>LAPIC</irq_bus>
32 <device id="CGA_VIDEO" />
33 <device id="TELNET_CONSOLE">
34 <frontend id="CGA_VIDEO" />
48 <device id="LNX_VIRTIO_SYM">
52 <device id="LNX_VIRTIO_BLK">
56 <device id="LNX_VIRTIO_BALLOON">
60 <device id="SYM_SWAP">
61 <frontend id="LNX_VIRTIO_BLK" />
66 <controller>PIIX3</controller>
69 <device id="PCI_PASSTHROUGH">
72 <vendor_id>0x8086</vendor>
73 <device_id>0x100e</device_id>
76 <device id="PCI_PASSTHROUGH">
79 <vendor_id>0x8086</vendor>
80 <device_id>0x107c</device_id>
85 <frontend id="LNX_VIRTIO_BLK" />
98 <storage>IDE</storage>
101 <device id="GENERIC">
103 <op>PRINT_AND_IGNORE</op>
108 <op>PRINT_AND_IGNORE</op>