6 echo "going inside Jailhouse dir for to remake it..."
8 make clean && make modules
9 echo "Copying inmates to overlay dir..."
10 cp ./inmates/demos/x86/*.bin ../buildroot-overlay/jailhouse/inmates/
11 cp ./configs/*.cell ../buildroot-overlay/jailhouse/configs/
12 echo "remake bootstrap and objcopy it to overlay.."
15 cd l4re/pkg/bootstrap_custom
16 objcopy -O binary ./server/src/OBJ-x86_pentium/bootstrap_hello.elf $START_DIR/../buildroot-overlay/jailhouse/bootstrap-jh.bin
17 echo "Update rootfs..."
18 cd $START_DIR/../build/buildroot/