jailhouse: Improve benchmark and add cmdline parameter passing into launch script.

[jailhouse-test.git] / build / boot-l4

#!/usr/bin/env novaboot

load l4/l4re/bin/x86_pentium/bootstrap_bench-bare.elf -maxmem=51M