Nvidia Jetson TX1 and TX2
From ERIKA WIKI
Introduction
The ERIKA3 RTOS can be run as a guest OS of the Jailhouse hypervisor on the Nvidia Tegra TX1 board. Such support has been previously announced through a YouTube video).
Please, refer to the following documents: