Makefile support for jailhouse tx1 cells

diff --git a/build/Makefile b/build/Makefile
index 34cdc22ca758b9ccc721467a2bf9a1bca061e157..67397d188739a9b62b45490c70e32d1c84e7a771 100644 (file)
--- a/build/Makefile
+++ b/build/Makefile
@@ -6,6 +6,9 @@ buildroot/images/rootfs.cpio.uboot: rootfs-overlay/lib/firmware/jailhouse.bin ro
 rootfs-overlay/lib/firmware/jailhouse.bin: linux-3.10/vmlinux
 rootfs-overlay/lib/firmware/jailhouse.bin: $(addprefix ../jailhouse/,$(shell cd ../jailhouse && git ls-files))
        $(MAKE) -C ../jailhouse install KDIR=$(CURDIR)/linux-3.10 ARCH=arm64 DESTDIR=$(CURDIR)/rootfs-overlay
+       cp ../jailhouse/inmates/demos/arm64/my-demo.bin $(CURDIR)/rootfs-overlay/jail/demos/
+       cp ../jailhouse/configs/jetson-tx1.cell $(CURDIR)/rootfs-overlay/jail/configs/
+       cp ../jailhouse/configs/jetson-tx1-demo.cell $(CURDIR)/rootfs-overlay/jail/configs/
 
 rootfs-overlay/lib/modules/3.10.96/kernel:
        $(MAKE) -C linux-3.10 modules_install INSTALL_MOD_PATH=$(CURDIR)/rootfs-overlay