|
10
|
1 <!--
|
|
|
2 WARNING: THIS IS AN AUTO-GENERATED FILE. CHANGES TO IT ARE LIKELY TO BE
|
|
|
3 OVERWRITTEN AND LOST. Changes to this xml configuration should be made using:
|
|
|
4 virsh edit xv6arm7
|
|
|
5 or other application using the libvirt API.
|
|
|
6 -->
|
|
|
7
|
|
8
|
8 <domain type='qemu'>
|
|
|
9 <name>xv6arm7</name>
|
|
|
10 <uuid>80ddbab5-a467-4964-8eb1-0475512522ee</uuid>
|
|
|
11 <memory unit='KiB'>131072</memory>
|
|
|
12 <currentMemory unit='KiB'>131072</currentMemory>
|
|
|
13 <vcpu placement='static'>1</vcpu>
|
|
|
14 <os>
|
|
10
|
15 <type arch='armv7l' machine='versatilepb'>hvm</type>
|
|
8
|
16 <kernel>/mnt/dalmore-home/one/src/xv6-rpi/src/kernel.elf</kernel>
|
|
|
17 <boot dev='hd'/>
|
|
|
18 </os>
|
|
10
|
19 <cpu mode='custom' match='exact' check='none'>
|
|
|
20 <model fallback='allow'>arm1176</model>
|
|
|
21 </cpu>
|
|
8
|
22 <clock offset='utc'>
|
|
|
23 <timer name='rtc' tickpolicy='catchup'/>
|
|
|
24 <timer name='pit' tickpolicy='delay'/>
|
|
|
25 <timer name='hpet' present='no'/>
|
|
|
26 </clock>
|
|
|
27 <on_poweroff>destroy</on_poweroff>
|
|
|
28 <on_reboot>restart</on_reboot>
|
|
|
29 <on_crash>restart</on_crash>
|
|
|
30 <devices>
|
|
|
31 <emulator>/bin/qemu-system-arm</emulator>
|
|
|
32 <disk type='file' device='disk'>
|
|
|
33 <driver name='qemu' type='raw'/>
|
|
|
34 <source file='/mnt/dalmore-home/one/src/xv6-rpi/src/build/fs.img'/>
|
|
|
35 <target dev='sda' bus='sd'/>
|
|
|
36 </disk>
|
|
|
37 <controller type='usb' index='0' model='ich9-ehci1'>
|
|
|
38 <address type='pci' domain='0x0000' bus='0x00' slot='0x06' function='0x7'/>
|
|
|
39 </controller>
|
|
|
40 <controller type='usb' index='0' model='ich9-uhci1'>
|
|
|
41 <master startport='0'/>
|
|
|
42 <address type='pci' domain='0x0000' bus='0x00' slot='0x06' function='0x0' multifunction='on'/>
|
|
|
43 </controller>
|
|
|
44 <controller type='usb' index='0' model='ich9-uhci2'>
|
|
|
45 <master startport='2'/>
|
|
|
46 <address type='pci' domain='0x0000' bus='0x00' slot='0x06' function='0x1'/>
|
|
|
47 </controller>
|
|
|
48 <controller type='usb' index='0' model='ich9-uhci3'>
|
|
|
49 <master startport='4'/>
|
|
|
50 <address type='pci' domain='0x0000' bus='0x00' slot='0x06' function='0x2'/>
|
|
|
51 </controller>
|
|
|
52 <controller type='pci' index='0' model='pci-root'/>
|
|
|
53 <controller type='virtio-serial' index='0'>
|
|
10
|
54 <address type='pci' domain='0x0000' bus='0x00' slot='0x01' function='0x0'/>
|
|
8
|
55 </controller>
|
|
|
56 <interface type='user'>
|
|
|
57 <mac address='52:54:00:42:94:60'/>
|
|
|
58 <model type='rtl8139'/>
|
|
|
59 <address type='pci' domain='0x0000' bus='0x00' slot='0x03' function='0x0'/>
|
|
|
60 </interface>
|
|
|
61 <serial type='pty'>
|
|
|
62 <target port='0'/>
|
|
|
63 </serial>
|
|
|
64 <console type='pty'>
|
|
|
65 <target type='serial' port='0'/>
|
|
|
66 </console>
|
|
|
67 <channel type='spicevmc'>
|
|
|
68 <target type='virtio' name='com.redhat.spice.0'/>
|
|
|
69 <address type='virtio-serial' controller='0' bus='0' port='1'/>
|
|
|
70 </channel>
|
|
|
71 <input type='mouse' bus='ps2'/>
|
|
|
72 <input type='keyboard' bus='ps2'/>
|
|
|
73 <sound model='ich6'>
|
|
|
74 <address type='pci' domain='0x0000' bus='0x00' slot='0x04' function='0x0'/>
|
|
|
75 </sound>
|
|
|
76 <redirdev bus='usb' type='spicevmc'>
|
|
|
77 <address type='usb' bus='0' port='1'/>
|
|
|
78 </redirdev>
|
|
|
79 <redirdev bus='usb' type='spicevmc'>
|
|
|
80 <address type='usb' bus='0' port='2'/>
|
|
|
81 </redirdev>
|
|
|
82 <memballoon model='virtio'>
|
|
|
83 <address type='pci' domain='0x0000' bus='0x00' slot='0x07' function='0x0'/>
|
|
|
84 </memballoon>
|
|
|
85 </devices>
|
|
|
86 </domain>
|
