# Put a getty on the serial port
#console::respawn:/sbin/getty -L console 0 vt100 # GENERIC_SERIAL
-console::respawn:/bin/login root tty1 </dev/tty1 >/dev/tty1 2>&1
+console::respawn:/bin/login root ttyS0 </dev/ttyS0 >/dev/ttyS0 2>&1
# Stuff to do for the 3-finger salute
::ctrlaltdel:/sbin/reboot
#!/bin/bash
set -e;
-/root/jailhouse-init.sh
-exec /root/fiasco-ferret-bench.sh
+/root/jailhouse-init-novabox.sh
+#exec /root/fiasco-ferret-bench.sh
+#setserial /dev/ttyS0 uart unknown port 0x0 irq 0x0
+exec /root/hpet-demo-test.sh