README

   1 Repository with Jailhouse build configuration for Jetson TX2
   2
   3 Building
   4 --------
   5
   6     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
   7     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
   8     git submodule update --init
   9     cd build
  10     make
  11
  12 The above croscompiles the following: Linux kernel, Jailhouse and
  13 simple root filesystem.
  14
  15 Booting
  16 -------
  17
  18 We use novaboot tool (https://github.com/wentasah/novaboot) to boot
  19 the resulting images over network. Use build/boot to boot Jailhouse or
  20 build/boot-linux to boot plain Linux without starting Jailhouse.
  21
  22 To boot without novaboot, copy linux-4.4/arch/arm64/boot/Image and
  23 files from rootfs-overlay to your board. If needed, we will provide
  24 deailed instructions later.