all: buildroot/images/rootfs.cpio.uboot linux-4.4/vmlinux

# TX2 U-Boot does not support FIT images
image.fit: buildroot/images/rootfs.cpio.uboot linux-4.4/vmlinux
	mkimage -f auto -d linux-4.4/arch/arm64/boot/Image -i buildroot/images/rootfs.cpio.uboot -b linux-4.4/arch/arm64/boot/dts/tegra186-quill-p3310-1000-c03-00-base.dtb image.fit

buildroot/images/rootfs.cpio.uboot: rootfs-overlay/lib/firmware/jailhouse.bin rootfs-overlay/lib/modules/4.4.38+/kernel
	$(MAKE) -C buildroot

rootfs-overlay/lib/firmware/jailhouse.bin: linux-4.4/vmlinux
rootfs-overlay/lib/firmware/jailhouse.bin: ../jailhouse/include/jailhouse/config.h
rootfs-overlay/lib/firmware/jailhouse.bin: $(addprefix ../jailhouse/,$(shell cd ../jailhouse && git ls-files))
	$(MAKE) -C ../jailhouse install KDIR=$(CURDIR)/linux-4.4 ARCH=arm64 DESTDIR=$(CURDIR)/rootfs-overlay
	mkdir -p rootfs-overlay/jailhouse/configs/ rootfs-overlay/jailhouse/demos/
#	cp ../jailhouse/inmates/demos/arm64/my-demo.bin rootfs-overlay/jailhouse/demos/
	cp ../jailhouse/configs/arm64/jetson-tx2.cell rootfs-overlay/jailhouse/configs/
	cp ../jailhouse/configs/arm64/jetson-tx2-demo.cell rootfs-overlay/jailhouse/configs/

../jailhouse/include/jailhouse/config.h: Makefile
	rm -f $@.tmp
	echo '#define CONFIG_TRACE_ERROR             1' >> $@.tmp
	echo '#define CONFIG_ARM_GIC_V2		     1'	>> $@.tmp
	echo '#define CONFIG_MACH_JETSON_TX2	     1'	>> $@.tmp
	mv $@.tmp $@

rootfs-overlay/lib/modules/4.4.38+/kernel: linux-4.4/vmlinux
	$(MAKE) -C linux-4.4 modules_install INSTALL_MOD_PATH=$(CURDIR)/rootfs-overlay

linux-4.4/vmlinux:
	$(MAKE) -C $(@D)

clean:
	rm buildroot/images/rootfs.cpio.uboot linux-4.4/vmlinux