8 make -C ./build/buildroot
10 make -C jailhouse all install KDIR=$PWD/build/buildroot/build/linux-custom DESTDIR=$PWD/buildroot-overlay
12 mkdir -p buildroot-overlay/jailhouse
13 mkdir -p buildroot-overlay/jailhouse/inmates
14 mkdir -p buildroot-overlay/jailhouse/configs