1 Repository with Jailhouse build configuration for Jetson TX2
7 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
8 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
9 git submodule update --init
13 The above cross-compiles the following: Linux kernel, Jailhouse and
14 simple root filesystem.
16 Building on TX2 (only Jailhouse and Linux)
17 ------------------------------------------
19 make jailhouse CROSS_COMPILE=
27 We use novaboot tool (https://github.com/wentasah/novaboot) to boot
28 the resulting images over network. Use the `build/boot` script to boot
29 Jailhouse or `build/boot-linux` to boot plain Linux without starting
35 To boot Linux and Jailhouse without novaboot, create a Debian package
41 Copy the resulting .deb package to the board and install it with
43 dpkg -i jailhouse_*.deb
45 After rebooting, choose "prem kernel and jailhouse" entry from the
46 extlinux boot menu. Once the system boots, use `systemctl` command to
49 systemctl {start|stop|status} jailhouse