#!/bin/bash
set -e;
-/root/jailhouse-init-novabox.sh
+#/root/jailhouse-init-novabox.sh
+/root/jailhouse-init-qemu.sh
#exec /root/fiasco-ferret-bench.sh
-#setserial /dev/ttyS0 uart unknown port 0x0 irq 0x0
-exec /root/hpet-demo-test.sh
+exec /root/fiasco-bench.sh
+#exec /root/hpet-demo-test.sh