--- /dev/null
+<meta http-equiv="Content-Type" content="text/html; charset=utf-8"/>
+<link rel="stylesheet" href="style.css" type="text/css"/>
+<script src="code.js" type="text/javascript"></script>
+
+<h1>What missing from RISC-V?</h1>
+
+<ul>
+<li> Virtualization
+</ul>
 
--- /dev/null
+<meta http-equiv="Content-Type" content="text/html; charset=utf-8"/>
+<link rel="stylesheet" href="style.css" type="text/css"/>
+<script src="code.js" type="text/javascript"></script>
+
+<h1>What missing from RISC-V?</h1>
+
+<img src="server.png">
 
 
 # History.
 
-remember 'qemu-system-riscv -m 4G -kernel /usr/bin/bbl -append vmlinux -drive file=stage3-disk.img,format=raw -nographic'
+remember 'qemu-system-riscv -m 4G -kernel /usr/bin/bbl -append vmlinux -drive file=stage4-disk.img,format=raw -nographic'
 
 echo "Running Fedora/RISC-V"
 
 
   much of this is filled in with proprietary "IP"
   "Minion cores"
 
+Virtualization
+  Bonzini
+
+What else goes into a server?
+  BMC management
+  standard boot environment (like SBBR on ARM)
+  &c
+
 ----------------------------------------------------------------------
 
 Fedora -- Demo
 What does this mean for Red Hat?
 
 
+
+
+
+
+
+
+
+
+
+
+
 Summary and questions
 
 #unset ftp_proxy
 
 # Uncompress from the pristine image.
-if [ ! -f stage3-disk.img ]; then
-    unxz -k stage3-disk.img.xz
+if [ ! -f stage4-disk.img ]; then
+    unxz -k stage4-disk.img.xz
 fi
 
 # Run techtalk.