#!/usr/bin/env novaboot load l4/l4re/bin/x86_pentium/bootstrap_bench-bare.elf -maxmem=51M