#!/usr/bin/env novaboot
#
-load buildroot/images/bzImage memmap=0x4200000$0x3b000000 nohpet
+load buildroot/images/bzImage console=ttyS2,115200 memmap=0x7C00000$0x37600000 nohpet intel_iommu=off
load buildroot/images/rootfs.cpio.gz
::sysinit:/etc/init.d/rcS
# Put a getty on the serial port
-#console::respawn:/sbin/getty -L console 0 vt100 # GENERIC_SERIAL
-console::respawn:/bin/login root ttyS0 </dev/ttyS0 >/dev/tty0 2>&1
+console::respawn:/sbin/getty -L console 115200 vt100 # GENERIC_SERIAL
+#console::respawn:/bin/login root ttyS2 </dev/ttyS2 >/dev/tty2 2>&1
#Stuff to do for the 3-finger salute
::ctrlaltdel:/sbin/reboot
#!/bin/bash
-set -e;
#/root/jailhouse-init-novabox.sh
-/root/jailhouse-init-qemu.sh
+#/root/jailhouse-init-qemu.sh
#exec /root/fiasco-ferret-bench.sh
-exec /root/fiasco-bench.sh
+#exec /root/fiasco-bench.sh
#exec /root/hpet-demo-test.sh
--- /dev/null
+#!/bin/bash
+#/root/jailhouse-init-novabox.sh
+#/root/jailhouse-init-qemu.sh
+#exec /root/fiasco-ferret-bench.sh
+#exec /root/fiasco-bench.sh
+#exec /root/hpet-demo-test.sh