Difference between revisions of "X86-64"

From ERIKA WIKI
Jump to: navigation, search
(BOARD_DATA)
(Tutorials)
Line 30: Line 30:
  
 
The support has been successfully tested on the following platforms:
 
The support has been successfully tested on the following platforms:
* [[VBOX-3610]]
+
* [[VBOX-3610|Jailhouse on SINTRONES VBOX-3610]]
 +
* Xen on Advantech ARK-3520P-U7A1E
 +
* Xen on B&R APC910
  
 
In case you need support for bare-metal hardware or other hypervisors, please [http://www.erika-enterprise.com/index.php/contacts.html contact us].
 
In case you need support for bare-metal hardware or other hypervisors, please [http://www.erika-enterprise.com/index.php/contacts.html contact us].

Revision as of 11:59, 13 February 2019

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

CPU

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;
     ...
   };

BOARD_DATA

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

For example:

   BOARD_DATA = VBOX_3610;

Tutorials

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.