annotate src/xv6arm7.xml @ 52:1adde248a61f default tip

merge
author anatofuz <anatofuz@cr.ie.u-ryukyu.ac.jp>
date Fri, 07 Jun 2019 17:30:15 +0900
parents 861072c64aee
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
9
861072c64aee xv6arm7.xml
tobaru
parents:
diff changeset
1 <domain type='qemu'>
861072c64aee xv6arm7.xml
tobaru
parents:
diff changeset
2 <name>xv6arm7</name>
861072c64aee xv6arm7.xml
tobaru
parents:
diff changeset
3 <uuid>80ddbab5-a467-4964-8eb1-0475512522ee</uuid>
861072c64aee xv6arm7.xml
tobaru
parents:
diff changeset
4 <memory unit='KiB'>131072</memory>
861072c64aee xv6arm7.xml
tobaru
parents:
diff changeset
5 <currentMemory unit='KiB'>131072</currentMemory>
861072c64aee xv6arm7.xml
tobaru
parents:
diff changeset
6 <vcpu placement='static'>1</vcpu>
861072c64aee xv6arm7.xml
tobaru
parents:
diff changeset
7 <os>
861072c64aee xv6arm7.xml
tobaru
parents:
diff changeset
8 <type arch='armv7l' machine='versatilepb'>hvm</type>
861072c64aee xv6arm7.xml
tobaru
parents:
diff changeset
9 <kernel>/mnt/dalmore-home/one/src/xv6-rpi/src/kernel.elf</kernel>
861072c64aee xv6arm7.xml
tobaru
parents:
diff changeset
10 <boot dev='hd'/>
861072c64aee xv6arm7.xml
tobaru
parents:
diff changeset
11 </os>
861072c64aee xv6arm7.xml
tobaru
parents:
diff changeset
12 <clock offset='utc'>
861072c64aee xv6arm7.xml
tobaru
parents:
diff changeset
13 <timer name='rtc' tickpolicy='catchup'/>
861072c64aee xv6arm7.xml
tobaru
parents:
diff changeset
14 <timer name='pit' tickpolicy='delay'/>
861072c64aee xv6arm7.xml
tobaru
parents:
diff changeset
15 <timer name='hpet' present='no'/>
861072c64aee xv6arm7.xml
tobaru
parents:
diff changeset
16 </clock>
861072c64aee xv6arm7.xml
tobaru
parents:
diff changeset
17 <on_poweroff>destroy</on_poweroff>
861072c64aee xv6arm7.xml
tobaru
parents:
diff changeset
18 <on_reboot>restart</on_reboot>
861072c64aee xv6arm7.xml
tobaru
parents:
diff changeset
19 <on_crash>restart</on_crash>
861072c64aee xv6arm7.xml
tobaru
parents:
diff changeset
20 <devices>
861072c64aee xv6arm7.xml
tobaru
parents:
diff changeset
21 <emulator>/bin/qemu-system-arm</emulator>
861072c64aee xv6arm7.xml
tobaru
parents:
diff changeset
22 <disk type='file' device='disk'>
861072c64aee xv6arm7.xml
tobaru
parents:
diff changeset
23 <driver name='qemu' type='raw'/>
861072c64aee xv6arm7.xml
tobaru
parents:
diff changeset
24 <source file='/mnt/dalmore-home/one/src/xv6-rpi/src/build/fs.img'/>
861072c64aee xv6arm7.xml
tobaru
parents:
diff changeset
25 <target dev='sda' bus='sd'/>
861072c64aee xv6arm7.xml
tobaru
parents:
diff changeset
26 </disk>
861072c64aee xv6arm7.xml
tobaru
parents:
diff changeset
27 <controller type='usb' index='0' model='ich9-ehci1'>
861072c64aee xv6arm7.xml
tobaru
parents:
diff changeset
28 <address type='pci' domain='0x0000' bus='0x00' slot='0x06' function='0x7'/>
861072c64aee xv6arm7.xml
tobaru
parents:
diff changeset
29 </controller>
861072c64aee xv6arm7.xml
tobaru
parents:
diff changeset
30 <controller type='usb' index='0' model='ich9-uhci1'>
861072c64aee xv6arm7.xml
tobaru
parents:
diff changeset
31 <master startport='0'/>
861072c64aee xv6arm7.xml
tobaru
parents:
diff changeset
32 <address type='pci' domain='0x0000' bus='0x00' slot='0x06' function='0x0' multifunction='on'/>
861072c64aee xv6arm7.xml
tobaru
parents:
diff changeset
33 </controller>
861072c64aee xv6arm7.xml
tobaru
parents:
diff changeset
34 <controller type='usb' index='0' model='ich9-uhci2'>
861072c64aee xv6arm7.xml
tobaru
parents:
diff changeset
35 <master startport='2'/>
861072c64aee xv6arm7.xml
tobaru
parents:
diff changeset
36 <address type='pci' domain='0x0000' bus='0x00' slot='0x06' function='0x1'/>
861072c64aee xv6arm7.xml
tobaru
parents:
diff changeset
37 </controller>
861072c64aee xv6arm7.xml
tobaru
parents:
diff changeset
38 <controller type='usb' index='0' model='ich9-uhci3'>
861072c64aee xv6arm7.xml
tobaru
parents:
diff changeset
39 <master startport='4'/>
861072c64aee xv6arm7.xml
tobaru
parents:
diff changeset
40 <address type='pci' domain='0x0000' bus='0x00' slot='0x06' function='0x2'/>
861072c64aee xv6arm7.xml
tobaru
parents:
diff changeset
41 </controller>
861072c64aee xv6arm7.xml
tobaru
parents:
diff changeset
42 <controller type='pci' index='0' model='pci-root'/>
861072c64aee xv6arm7.xml
tobaru
parents:
diff changeset
43 <controller type='virtio-serial' index='0'>
861072c64aee xv6arm7.xml
tobaru
parents:
diff changeset
44 <address type='pci' domain='0x0000' bus='0x00' slot='0x05' function='0x0'/>
861072c64aee xv6arm7.xml
tobaru
parents:
diff changeset
45 </controller>
861072c64aee xv6arm7.xml
tobaru
parents:
diff changeset
46 <interface type='user'>
861072c64aee xv6arm7.xml
tobaru
parents:
diff changeset
47 <mac address='52:54:00:42:94:60'/>
861072c64aee xv6arm7.xml
tobaru
parents:
diff changeset
48 <model type='rtl8139'/>
861072c64aee xv6arm7.xml
tobaru
parents:
diff changeset
49 <address type='pci' domain='0x0000' bus='0x00' slot='0x03' function='0x0'/>
861072c64aee xv6arm7.xml
tobaru
parents:
diff changeset
50 </interface>
861072c64aee xv6arm7.xml
tobaru
parents:
diff changeset
51 <serial type='pty'>
861072c64aee xv6arm7.xml
tobaru
parents:
diff changeset
52 <target port='0'/>
861072c64aee xv6arm7.xml
tobaru
parents:
diff changeset
53 </serial>
861072c64aee xv6arm7.xml
tobaru
parents:
diff changeset
54 <console type='pty'>
861072c64aee xv6arm7.xml
tobaru
parents:
diff changeset
55 <target type='serial' port='0'/>
861072c64aee xv6arm7.xml
tobaru
parents:
diff changeset
56 </console>
861072c64aee xv6arm7.xml
tobaru
parents:
diff changeset
57 <channel type='spicevmc'>
861072c64aee xv6arm7.xml
tobaru
parents:
diff changeset
58 <target type='virtio' name='com.redhat.spice.0'/>
861072c64aee xv6arm7.xml
tobaru
parents:
diff changeset
59 <address type='virtio-serial' controller='0' bus='0' port='1'/>
861072c64aee xv6arm7.xml
tobaru
parents:
diff changeset
60 </channel>
861072c64aee xv6arm7.xml
tobaru
parents:
diff changeset
61 <input type='mouse' bus='ps2'/>
861072c64aee xv6arm7.xml
tobaru
parents:
diff changeset
62 <input type='keyboard' bus='ps2'/>
861072c64aee xv6arm7.xml
tobaru
parents:
diff changeset
63 <graphics type='spice' autoport='yes'>
861072c64aee xv6arm7.xml
tobaru
parents:
diff changeset
64 <listen type='address'/>
861072c64aee xv6arm7.xml
tobaru
parents:
diff changeset
65 <image compression='off'/>
861072c64aee xv6arm7.xml
tobaru
parents:
diff changeset
66 </graphics>
861072c64aee xv6arm7.xml
tobaru
parents:
diff changeset
67 <sound model='ich6'>
861072c64aee xv6arm7.xml
tobaru
parents:
diff changeset
68 <address type='pci' domain='0x0000' bus='0x00' slot='0x04' function='0x0'/>
861072c64aee xv6arm7.xml
tobaru
parents:
diff changeset
69 </sound>
861072c64aee xv6arm7.xml
tobaru
parents:
diff changeset
70 <video>
861072c64aee xv6arm7.xml
tobaru
parents:
diff changeset
71 <model type='qxl' ram='65536' vram='65536' vgamem='16384' heads='1' primary='yes'/>
861072c64aee xv6arm7.xml
tobaru
parents:
diff changeset
72 <address type='pci' domain='0x0000' bus='0x00' slot='0x02' function='0x0'/>
861072c64aee xv6arm7.xml
tobaru
parents:
diff changeset
73 </video>
861072c64aee xv6arm7.xml
tobaru
parents:
diff changeset
74 <redirdev bus='usb' type='spicevmc'>
861072c64aee xv6arm7.xml
tobaru
parents:
diff changeset
75 <address type='usb' bus='0' port='1'/>
861072c64aee xv6arm7.xml
tobaru
parents:
diff changeset
76 </redirdev>
861072c64aee xv6arm7.xml
tobaru
parents:
diff changeset
77 <redirdev bus='usb' type='spicevmc'>
861072c64aee xv6arm7.xml
tobaru
parents:
diff changeset
78 <address type='usb' bus='0' port='2'/>
861072c64aee xv6arm7.xml
tobaru
parents:
diff changeset
79 </redirdev>
861072c64aee xv6arm7.xml
tobaru
parents:
diff changeset
80 <memballoon model='virtio'>
861072c64aee xv6arm7.xml
tobaru
parents:
diff changeset
81 <address type='pci' domain='0x0000' bus='0x00' slot='0x07' function='0x0'/>
861072c64aee xv6arm7.xml
tobaru
parents:
diff changeset
82 </memballoon>
861072c64aee xv6arm7.xml
tobaru
parents:
diff changeset
83 </devices>
861072c64aee xv6arm7.xml
tobaru
parents:
diff changeset
84 </domain>