Nvidia Jetson TX1 and TX2
Introduction
The ERIKA3 RTOS can be run as a guest OS of the Jailhouse hypervisor on the Nvidia Tegra Jetson TX1 board.
Such support has been developed in the context of the HERCULES European project.
It has been also shown through a [https://www.youtube.com/watch?v=skIcAkXfNWQ&t=3s YouTube video).
This section explains how to build and install Jailhouse on the TX1 target and how to create an ERIKA3 guest (AKA Jailhouse inmate).
Platform setup
Use Nvidia Jetpack 3.1 to flash the Linux distribution by Nvidia onto the TX1 platform.
JetPack is a tool that runs on an Ubuntu host machine and installs Linux on the TX1 platform.
Note that the host machine and the platform must be connected through an OTG USB cable.
Jailhouse support
For installing Jailhouse on the TX1 platform, please refer to the README available on the Jailhouse tree on our GitHub.
It also provides information about serial port and static IP configuration.
Note that the information is provided for the default Linux kernel provided by Nvidia (not Vanilla).
You can refer to the original project page in case you run a Vanilla Linux kernel.
ERIKA3 on Jailhouse
Please, refer to the following documents:
