X86-64
From ERIKA WIKI
We already have an internal porting of ERIKA Enterprise for x86-64. The RTOS has been tested on an Intel i7 on top of the Jailhouse hypervisor.
In the next months, the public code will be delivered through the GitHub repository. In case of urgent need, please contact us.