Mercurial > hg > Members > menikon > CbC_xv6

annotate edit_xv6arm7 @ 231:08cd784ddbc0

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
rename inode.h
author menikon
date Sat, 25 Jan 2020 20:37:53 +0900
parents 2617849843ec
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
6
2617849843ec fedore virsh edit file
tobaru
parents:
diff changeset
1 <domain type='kvm'>
2617849843ec fedore virsh edit file
tobaru
parents:
diff changeset
2 <name>xv6arm7</name>
2617849843ec fedore virsh edit file
tobaru
parents:
diff changeset
3 <uuid>80ddbab5-a467-4964-8eb1-0475512522ee</uuid>
2617849843ec fedore virsh edit file
tobaru
parents:
diff changeset
4 <memory unit='KiB'>131072</memory>
2617849843ec fedore virsh edit file
tobaru
parents:
diff changeset
5 <currentMemory unit='KiB'>131072</currentMemory>
2617849843ec fedore virsh edit file
tobaru
parents:
diff changeset
6 <vcpu placement='static'>1</vcpu>
2617849843ec fedore virsh edit file
tobaru
parents:
diff changeset
7 <os>
2617849843ec fedore virsh edit file
tobaru
parents:
diff changeset
8 <type arch='x86_64' machine='pc-i440fx-rhel7.4.0'>hvm</type>
2617849843ec fedore virsh edit file
tobaru
parents:
diff changeset
9 <kernel>/mnt/dalmore-home/one/src/xv6-rpi/src/kernel.elf</kernel>
2617849843ec fedore virsh edit file
tobaru
parents:
diff changeset
10 <boot dev='hd'/>
2617849843ec fedore virsh edit file
tobaru
parents:
diff changeset
11 </os>
2617849843ec fedore virsh edit file
tobaru
parents:
diff changeset
12 <features>
2617849843ec fedore virsh edit file
tobaru
parents:
diff changeset
13 <acpi/>
2617849843ec fedore virsh edit file
tobaru
parents:
diff changeset
14 <apic/>
2617849843ec fedore virsh edit file
tobaru
parents:
diff changeset
15 <vmport state='off'/>
2617849843ec fedore virsh edit file
tobaru
parents:
diff changeset
16 </features>
2617849843ec fedore virsh edit file
tobaru
parents:
diff changeset
17 <cpu mode='custom' match='exact'>
2617849843ec fedore virsh edit file
tobaru
parents:
diff changeset
18 <model fallback='allow'>Haswell-noTSX</model>
2617849843ec fedore virsh edit file
tobaru
parents:
diff changeset
19 </cpu>
2617849843ec fedore virsh edit file
tobaru
parents:
diff changeset
20 <clock offset='utc'>
2617849843ec fedore virsh edit file
tobaru
parents:
diff changeset
21 <timer name='rtc' tickpolicy='catchup'/>
2617849843ec fedore virsh edit file
tobaru
parents:
diff changeset
22 <timer name='pit' tickpolicy='delay'/>
2617849843ec fedore virsh edit file
tobaru
parents:
diff changeset
23 <timer name='hpet' present='no'/>
2617849843ec fedore virsh edit file
tobaru
parents:
diff changeset
24 </clock>
2617849843ec fedore virsh edit file
tobaru
parents:
diff changeset
25 <on_poweroff>destroy</on_poweroff>
2617849843ec fedore virsh edit file
tobaru
parents:
diff changeset
26 <on_reboot>restart</on_reboot>
2617849843ec fedore virsh edit file
tobaru
parents:
diff changeset
27 <on_crash>restart</on_crash>
2617849843ec fedore virsh edit file
tobaru
parents:
diff changeset
28 <pm>
2617849843ec fedore virsh edit file
tobaru
parents:
diff changeset
29 <suspend-to-mem enabled='no'/>
2617849843ec fedore virsh edit file
tobaru
parents:
diff changeset
30 <suspend-to-disk enabled='no'/>
2617849843ec fedore virsh edit file
tobaru
parents:
diff changeset
31 </pm>
2617849843ec fedore virsh edit file
tobaru
parents:
diff changeset
32 <devices>
2617849843ec fedore virsh edit file
tobaru
parents:
diff changeset
33 <emulator>/usr/libexec/qemu-kvm</emulator>
2617849843ec fedore virsh edit file
tobaru
parents:
diff changeset
34 <disk type='file' device='disk'>
2617849843ec fedore virsh edit file
tobaru
parents:
diff changeset
35 <driver name='qemu' type='raw'/>
2617849843ec fedore virsh edit file
tobaru
parents:
diff changeset
36 <source file='/mnt/dalmore-home/one/src/xv6-rpi/src/build/fs.img'/>
2617849843ec fedore virsh edit file
tobaru
parents:
diff changeset
37 <target dev='hda' bus='ide'/>
2617849843ec fedore virsh edit file
tobaru
parents:
diff changeset
38 <address type='drive' controller='0' bus='0' target='0' unit='0'/>
2617849843ec fedore virsh edit file
tobaru
parents:
diff changeset
39 </disk>
2617849843ec fedore virsh edit file
tobaru
parents:
diff changeset
40 <controller type='usb' index='0' model='ich9-ehci1'>
2617849843ec fedore virsh edit file
tobaru
parents:
diff changeset
41 <address type='pci' domain='0x0000' bus='0x00' slot='0x06' function='0x7'/>
2617849843ec fedore virsh edit file
tobaru
parents:
diff changeset
42 </controller>
2617849843ec fedore virsh edit file
tobaru
parents:
diff changeset
43 <controller type='usb' index='0' model='ich9-uhci1'>
2617849843ec fedore virsh edit file
tobaru
parents:
diff changeset
44 <master startport='0'/>
2617849843ec fedore virsh edit file
tobaru
parents:
diff changeset
45 <address type='pci' domain='0x0000' bus='0x00' slot='0x06' function='0x0' multifunction='on'/>
2617849843ec fedore virsh edit file
tobaru
parents:
diff changeset
46 </controller>
2617849843ec fedore virsh edit file
tobaru
parents:
diff changeset
47 <controller type='usb' index='0' model='ich9-uhci2'>
2617849843ec fedore virsh edit file
tobaru
parents:
diff changeset
48 <master startport='2'/>
2617849843ec fedore virsh edit file
tobaru
parents:
diff changeset
49 <address type='pci' domain='0x0000' bus='0x00' slot='0x06' function='0x1'/>
2617849843ec fedore virsh edit file
tobaru
parents:
diff changeset
50 </controller>
2617849843ec fedore virsh edit file
tobaru
parents:
diff changeset
51 <controller type='usb' index='0' model='ich9-uhci3'>
2617849843ec fedore virsh edit file
tobaru
parents:
diff changeset
52 <master startport='4'/>
2617849843ec fedore virsh edit file
tobaru
parents:
diff changeset
53 <address type='pci' domain='0x0000' bus='0x00' slot='0x06' function='0x2'/>
2617849843ec fedore virsh edit file
tobaru
parents:
diff changeset
54 </controller>
2617849843ec fedore virsh edit file
tobaru
parents:
diff changeset
55 <controller type='pci' index='0' model='pci-root'/>
2617849843ec fedore virsh edit file
tobaru
parents:
diff changeset
56 <controller type='ide' index='0'>
2617849843ec fedore virsh edit file
tobaru
parents:
diff changeset
57 <address type='pci' domain='0x0000' bus='0x00' slot='0x01' function='0x1'/>
2617849843ec fedore virsh edit file
tobaru
parents:
diff changeset
58 </controller>
2617849843ec fedore virsh edit file
tobaru
parents:
diff changeset
59 <controller type='virtio-serial' index='0'>
2617849843ec fedore virsh edit file
tobaru
parents:
diff changeset
60 <address type='pci' domain='0x0000' bus='0x00' slot='0x05' function='0x0'/>
2617849843ec fedore virsh edit file
tobaru
parents:
diff changeset
61 </controller>
2617849843ec fedore virsh edit file
tobaru
parents:
diff changeset
62 <interface type='user'>
2617849843ec fedore virsh edit file
tobaru
parents:
diff changeset
63 <mac address='52:54:00:42:94:60'/>
2617849843ec fedore virsh edit file
tobaru
parents:
diff changeset
64 <model type='rtl8139'/>
2617849843ec fedore virsh edit file
tobaru
parents:
diff changeset
65 <address type='pci' domain='0x0000' bus='0x00' slot='0x03' function='0x0'/>
2617849843ec fedore virsh edit file
tobaru
parents:
diff changeset
66 </interface>
2617849843ec fedore virsh edit file
tobaru
parents:
diff changeset
67 <serial type='pty'>
2617849843ec fedore virsh edit file
tobaru
parents:
diff changeset
68 <target port='0'/>
2617849843ec fedore virsh edit file
tobaru
parents:
diff changeset
69 </serial>
2617849843ec fedore virsh edit file
tobaru
parents:
diff changeset
70 <console type='pty'>
2617849843ec fedore virsh edit file
tobaru
parents:
diff changeset
71 <target type='serial' port='0'/>
2617849843ec fedore virsh edit file
tobaru
parents:
diff changeset
72 </console>
2617849843ec fedore virsh edit file
tobaru
parents:
diff changeset
73 <channel type='spicevmc'>
2617849843ec fedore virsh edit file
tobaru
parents:
diff changeset
74 <target type='virtio' name='com.redhat.spice.0'/>
2617849843ec fedore virsh edit file
tobaru
parents:
diff changeset
75 <address type='virtio-serial' controller='0' bus='0' port='1'/>
2617849843ec fedore virsh edit file
tobaru
parents:
diff changeset
76 </channel>
2617849843ec fedore virsh edit file
tobaru
parents:
diff changeset
77 <input type='mouse' bus='ps2'/>
2617849843ec fedore virsh edit file
tobaru
parents:
diff changeset
78 <input type='keyboard' bus='ps2'/>
2617849843ec fedore virsh edit file
tobaru
parents:
diff changeset
79 <graphics type='spice' autoport='yes'>
2617849843ec fedore virsh edit file
tobaru
parents:
diff changeset
80 <listen type='address'/>
2617849843ec fedore virsh edit file
tobaru
parents:
diff changeset
81 <image compression='off'/>
2617849843ec fedore virsh edit file
tobaru
parents:
diff changeset
82 </graphics>
2617849843ec fedore virsh edit file
tobaru
parents:
diff changeset
83 <sound model='ich6'>
2617849843ec fedore virsh edit file
tobaru
parents:
diff changeset
84 <address type='pci' domain='0x0000' bus='0x00' slot='0x04' function='0x0'/>
2617849843ec fedore virsh edit file
tobaru
parents:
diff changeset
85 </sound>
2617849843ec fedore virsh edit file
tobaru
parents:
diff changeset
86 <video>
2617849843ec fedore virsh edit file
tobaru
parents:
diff changeset
87 <model type='qxl' ram='65536' vram='65536' vgamem='16384' heads='1' primary='yes'/>
2617849843ec fedore virsh edit file
tobaru
parents:
diff changeset
88 <address type='pci' domain='0x0000' bus='0x00' slot='0x02' function='0x0'/>
2617849843ec fedore virsh edit file
tobaru
parents:
diff changeset
89 </video>
2617849843ec fedore virsh edit file
tobaru
parents:
diff changeset
90 <redirdev bus='usb' type='spicevmc'>
2617849843ec fedore virsh edit file
tobaru
parents:
diff changeset
91 <address type='usb' bus='0' port='1'/>
2617849843ec fedore virsh edit file
tobaru
parents:
diff changeset
92 </redirdev>
2617849843ec fedore virsh edit file
tobaru
parents:
diff changeset
93 <redirdev bus='usb' type='spicevmc'>
2617849843ec fedore virsh edit file
tobaru
parents:
diff changeset
94 <address type='usb' bus='0' port='2'/>
2617849843ec fedore virsh edit file
tobaru
parents:
diff changeset
95 </redirdev>
2617849843ec fedore virsh edit file
tobaru
parents:
diff changeset
96 <memballoon model='virtio'>
2617849843ec fedore virsh edit file
tobaru
parents:
diff changeset
97 <address type='pci' domain='0x0000' bus='0x00' slot='0x07' function='0x0'/>
2617849843ec fedore virsh edit file
tobaru
parents:
diff changeset
98 </memballoon>
2617849843ec fedore virsh edit file
tobaru
parents:
diff changeset
99 </devices>
2617849843ec fedore virsh edit file
tobaru
parents:
diff changeset
100 </domain>
2617849843ec fedore virsh edit file
tobaru
parents:
diff changeset
101