benchmarks:
$(MAKE) -C l4re MODULE_SEARCH_PATH=$(CURDIR)/fiasco S=pkg/ferret:pkg/ferret/examples/monitors/simple_mon_re
$(MAKE) -C l4re MODULES_LIST=$(CURDIR)/ferret-modules.list MODULE_SEARCH_PATH=$(CURDIR)/fiasco:$(CURDIR)/ned-confs/ E=ferret-bench elfimage
+
+.PHONY: bench
+bench:
+ $(MAKE) -C l4re MODULE_SEARCH_PATH=$(CURDIR)/fiasco S=pkg/benchmark
+ $(MAKE) -C l4re MODULES_LIST=$(CURDIR)/ferret-modules.list MODULE_SEARCH_PATH=$(CURDIR)/fiasco:$(CURDIR)/ned-confs/ E=bench elfimage
+
module fer_scalar_demo
module fer_simple_mon
module ferret_sensor_dir
+
+entry bench
+kernel fiasco -serial_esc
+roottask moe rom/bench.cfg
+module l4re
+module ned
+module bench.cfg
+module benchmark
--- /dev/null
+# this is a configuration to start 'bench'
+
+local L4 = require("L4");
+
+L4.default_loader:start({}, "rom/benchmark -s 1000000 -t 10");
#!/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
--- /dev/null
+jailhouse cell create /jailhouse/configs/fiasco-demo.cell
+jailhouse cell load fiasco-demo /jailhouse/bootstrap_bench-jh.bin -a 0xf0000
+jailhouse cell start fiasco-demo
-Subproject commit 8c3e8038fdaee9c87eb5e17d775e98a63fd5cf76
+Subproject commit 6872a213ac58ef264825dc92aff484df59041065
cd ../build/l4
make hello
make benchmarks
-
+make bench
cd l4re/pkg/bootstrap_custom
objcopy -O binary ./server/src/OBJ-$ARCH_IMAGE/bootstrap_hello.elf $START_DIR/../buildroot-overlay/jailhouse/bootstrap_hello-jh.bin
objcopy -O binary ./server/src/OBJ-$ARCH_IMAGE/bootstrap_ferret-bench.elf $START_DIR/../buildroot-overlay/jailhouse/bootstrap_ferret-bench-jh.bin
+objcopy -O binary ./server/src/OBJ-$ARCH_IMAGE/bootstrap_bench.elf $START_DIR/../buildroot-overlay/jailhouse/bootstrap_bench-jh.bin
echo "Update rootfs..."
cd $START_DIR/../build/buildroot/