# cp ../jailhouse/inmates/demos/arm64/my-demo.bin rootfs-overlay/jailhouse/demos/
cp ../jailhouse/configs/arm64/jetson-tx2.cell $(DESTDIR)/jailhouse/configs/
cp ../jailhouse/configs/arm64/jetson-tx2-demo.cell $(DESTDIR)/jailhouse/demos/
+ cp ../jailhouse/inmates/demos/arm64/*.bin $(DESTDIR)/jailhouse/demos/
# Add something like this to ~/.ssh/config for
# jailhouse-install-remote to work out of the box: