X86-64
From ERIKA WIKI
We already have an internal porting of ERIKA3 for x86-64.
The support is currently limited to the RTOS running as a guest OS of the Jailhouse hypervisor.
The RTOS has been tested on the Intel i7 of the VBOX-3610 platform.
In the next months, the public code will be delivered through the GitHub repository. In case of urgent need, please contact us.