--- /dev/null
+Repository with Jailhouse build configuration for Jetson TX2
+
+Building
+--------
+
+ wget https://debian.pengutronix.de/debian/pool/main/o/oselas.toolchain/oselas.toolchain-2014.12.2-aarch64-v8a-linux-gnu-gcc-4.9.2-glibc-2.20-binutils-2.24-kernel-3.16-sanitized_2014.12.2_amd64.deb
+ sudo dpkg -i oselas.toolchain-2014.12.2-aarch64-v8a-linux-gnu-gcc-4.9.2-glibc-2.20-binutils-2.24-kernel-3.16-sanitized_2014.12.2_amd64.deb
+ git submodule update --init
+ cd build
+ make
+
+The above croscompiles the following: Linux kernel, Jailhouse and
+simple root filesystem.
+
+Booting
+-------
+
+We use novaboot tool (https://github.com/wentasah/novaboot) to boot
+the resulting images over network. Use build/boot to boot Jailhouse or
+build/boot-linux to boot plain Linux without starting Jailhouse.
+
+To boot without novaboot, copy linux-4.4/arch/arm64/boot/Image and
+files from rootfs-overlay to your board. If needed, we will provide
+deailed instructions later.