6 gcc -O2 bench-linux.c -o bench-linux
7 mv bench-linux ../buildroot-overlay/root/bench-linux -f
9 if [ -z $ARCH_IMAGE]; then
10 ARCH_IMAGE="x86_pentium"
14 echo "going inside Jailhouse dir for to remake it..."
16 export KDIR=$PWD/../build/buildroot/build/linux-custom
17 make clean && make modules
19 echo "Copying inmates to overlay dir..."
20 cp ./inmates/demos/x86/*.bin ../buildroot-overlay/jailhouse/inmates/
21 cp ./configs/*.cell ../buildroot-overlay/jailhouse/configs/
23 echo "remake bootstrap and objcopy it to overlay.."
28 cd l4re/pkg/bootstrap_custom
29 objcopy -O binary ./server/src/OBJ-$ARCH_IMAGE/bootstrap.elf $START_DIR/../buildroot-overlay/jailhouse/bootstrap-jh.bin
30 objcopy -O binary ./server/src/OBJ-$ARCH_IMAGE/bootstrap_hello.elf $START_DIR/../buildroot-overlay/jailhouse/bootstrap_hello-jh.bin
31 #objcopy -O binary ./server/src/OBJ-$ARCH_IMAGE/bootstrap_ferret-bench.elf $START_DIR/../buildroot-overlay/jailhouse/bootstrap_ferret-bench-jh.bin
32 objcopy -O binary ./server/src/OBJ-$ARCH_IMAGE/bootstrap_bench.elf $START_DIR/../buildroot-overlay/jailhouse/bootstrap_bench-jh.bin
34 echo "Update rootfs..."
35 cd $START_DIR/../build/buildroot/