Difference between revisions of "X86-64"
From ERIKA WIKI
(→CPU) |
|||
| Line 9: | Line 9: | ||
The '''CPU_DATA''' object must be set to '''X86_64'''. | The '''CPU_DATA''' object must be set to '''X86_64'''. | ||
| + | |||
| + | In addition to the generic settings for the <tt>CPU_DATA</tt>, there is also a <tt>PLATFORM</tt> attribute that, by default, is set to <tt>JAILHOUSE</tt> | ||
Example of a CPU_DATA section: | Example of a CPU_DATA section: | ||
CPU_DATA = X86_64 { | CPU_DATA = X86_64 { | ||
| + | PLATFORM = JAILHOUSE; | ||
... | ... | ||
}; | }; | ||
| − | |||
== BOARD_DATA == | == BOARD_DATA == | ||
Revision as of 10:43, 5 July 2018
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 must be set to the specific x86 board.
Example of a BOARD_DATA section:
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.
