Introduction

ERIKA3 supports x86-64 processors.
The support on GitHub is currently limited to the RTOS running as a guest OS of the Jailhouse hypervisor.

Configuration and programming

The CPU_DATA object must be set to X86_64.

In addition to the generic settings for the CPU_DATA, there is also a PLATFORM attribute that, by default, is set to JAILHOUSE

Example of a CPU_DATA section:

   CPU_DATA = X86_64 {
     PLATFORM = JAILHOUSE;
     ...
   };

The BOARD_DATA object can be set to a specific x86 board.

For example:

   BOARD_DATA = VBOX_3610;

The support has been successfully tested on the following platforms:

In case you need support for bare-metal hardware or other hypervisors, please contact us.