# HG changeset patch
# User innparusu
# Date 1517048804 -32400
# Node ID be7ae6f2993bc7a8667221536903ef4d6d1d602f
# Parent  861072c64aeea21a4d4832a8823477c58f352ae1
Running libvirt

diff -r 861072c64aee -r be7ae6f2993b xv6arm.xml
--- a/xv6arm.xml	Fri Jan 26 19:31:27 2018 +0900
+++ b/xv6arm.xml	Sat Jan 27 19:26:44 2018 +0900
@@ -1,3 +1,10 @@
+<!--
+WARNING: THIS IS AN AUTO-GENERATED FILE. CHANGES TO IT ARE LIKELY TO BE
+OVERWRITTEN AND LOST. Changes to this xml configuration should be made using:
+  virsh edit xv6arm7
+or other application using the libvirt API.
+-->
+
 <domain type='qemu'>
   <name>xv6arm7</name>
   <uuid>80ddbab5-a467-4964-8eb1-0475512522ee</uuid>
@@ -5,10 +12,13 @@
   <currentMemory unit='KiB'>131072</currentMemory>
   <vcpu placement='static'>1</vcpu>
   <os>
-    <type arch='armv7l' machine='vexpress-a9'>hvm</type>
+    <type arch='armv7l' machine='versatilepb'>hvm</type>
     <kernel>/mnt/dalmore-home/one/src/xv6-rpi/src/kernel.elf</kernel>
     <boot dev='hd'/>
   </os>
+  <cpu mode='custom' match='exact' check='none'>
+    <model fallback='allow'>arm1176</model>
+  </cpu>
   <clock offset='utc'>
     <timer name='rtc' tickpolicy='catchup'/>
     <timer name='pit' tickpolicy='delay'/>
@@ -41,7 +51,7 @@
     </controller>
     <controller type='pci' index='0' model='pci-root'/>
     <controller type='virtio-serial' index='0'>
-      <address type='pci' domain='0x0000' bus='0x00' slot='0x05' function='0x0'/>
+      <address type='pci' domain='0x0000' bus='0x00' slot='0x01' function='0x0'/>
     </controller>
     <interface type='user'>
       <mac address='52:54:00:42:94:60'/>
@@ -60,17 +70,9 @@
     </channel>
     <input type='mouse' bus='ps2'/>
     <input type='keyboard' bus='ps2'/>
-    <graphics type='spice' autoport='yes'>
-      <listen type='address'/>
-      <image compression='off'/>
-    </graphics>
     <sound model='ich6'>
       <address type='pci' domain='0x0000' bus='0x00' slot='0x04' function='0x0'/>
     </sound>
-    <video>
-      <model type='qxl' ram='65536' vram='65536' vgamem='16384' heads='1' primary='yes'/>
-      <address type='pci' domain='0x0000' bus='0x00' slot='0x02' function='0x0'/>
-    </video>
     <redirdev bus='usb' type='spicevmc'>
       <address type='usb' bus='0' port='1'/>
     </redirdev>