set -e
+START_DIR=$(pwd)
echo "going inside Jailhouse dir for to remake it..."
cd ../jailhouse
make clean && make modules
echo "Copying inmates to overlay dir..."
cp ./inmates/demos/x86/*.bin ../buildroot-overlay/jailhouse/inmates/
cp ./configs/*.cell ../buildroot-overlay/jailhouse/configs/
+echo "remake bootstrap and objcopy it to overlay.."
+cd ../build/l4/l4re/pkg/bootstrap_custom
+make clean && make
+objcopy -O binary ./server/src/OBJ-x86_pentium/bootstrap.elf $START_DIR/../buildroot-overlay/jailhouse/bootstrap-jh.bin
echo "Update rootfs..."
-cd ../build/buildroot/
+cd $START_DIR/../build/buildroot/
make
echo "done!"