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.