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 Building on TX2
  16 ---------------
  17
  18     make jailhouse CROSS_COMPILE=
  19
  20 Booting
  21 -------
  22
  23 We use novaboot tool (https://github.com/wentasah/novaboot) to boot
  24 the resulting images over network. Use build/boot to boot Jailhouse or
  25 build/boot-linux to boot plain Linux without starting Jailhouse.
  26
  27 To boot without novaboot, copy linux-4.4/arch/arm64/boot/Image and
  28 files from rootfs-overlay to your board. If needed, we will provide
  29 deailed instructions later.