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.

Example of a CPU_DATA section:

   CPU_DATA = X86_64 {
     ...
   };

The BOARD_DATA object must be set to the specific x86 board.

Example of a BOARD_DATA section:

   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.