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 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 during flashing.

Jailhouse support

The Rt-Druid tool (for generating the RTOS configuration) assumes a cross-compilation of ERIKA3. Since the build process of ERIKA3 needs a compiled copy of Jailhouse which, in turn, needs a compiled copy of the Linux kernel, we suggest proceeding by cross-compiling all software components (i.e., Linux kernel, Jailhouse and ERIKA3 RTOS) on a host x86 machine.

On Ubuntu, the aarch64 cross-compiler can be installed by typing

sudo apt install aarch64-linux-gnu-gcc 

The README available on the Jailhouse tree on our GitHub explains how to cross-compile and install Jailhouse. It also provides information about serial port and static IP configuration. Note that the information is provided for the default Linux kernel by Nvidia (not Vanilla). You can refer to the original Jailhouse page in case you run a Vanilla Linux kernel.

ERIKA3 on Jailhouse

Once Jailhouse has been successfully built and transferred to the TX1 platform, you have to set-up the RT-Druid development environment to compile the ERIKA3 RTOS. Unfortunately, the Eclipse IDE requires an x86 platform with a fair amount of resources (in terms of both processing and memory). The Eclipse IDE with the RT-Druid support can be downloaded from the download section of the ERIKA3 website.

Simple example

Work in progress...