5 if [ -z $ARCH_IMAGE]; then
6 ARCH_IMAGE="x86_pentium"
10 echo "going inside Jailhouse dir for to remake it..."
12 make clean && make modules
14 echo "Copying inmates to overlay dir..."
15 cp ./inmates/demos/x86/*.bin ../buildroot-overlay/jailhouse/inmates/
16 cp ./configs/*.cell ../buildroot-overlay/jailhouse/configs/
18 echo "remake bootstrap and objcopy it to overlay.."
23 cd l4re/pkg/bootstrap_custom
24 objcopy -O binary ./server/src/OBJ-$ARCH_IMAGE/bootstrap_hello.elf $START_DIR/../buildroot-overlay/jailhouse/bootstrap_hello-jh.bin
25 objcopy -O binary ./server/src/OBJ-$ARCH_IMAGE/bootstrap_ferret-bench.elf $START_DIR/../buildroot-overlay/jailhouse/bootstrap_ferret-bench-jh.bin
27 echo "Update rootfs..."
28 cd $START_DIR/../build/buildroot/