Difference between revisions of "X86-64"
From ERIKA WIKI
(→CPU) |
(→BOARD_DATA) |
||
| Line 21: | Line 21: | ||
== BOARD_DATA == | == BOARD_DATA == | ||
| − | The '''BOARD_DATA''' object | + | The '''BOARD_DATA''' object can be set to the specific x86 board. |
Example of a BOARD_DATA section: | Example of a BOARD_DATA section: | ||
BOARD_DATA = VBOX_3610; | BOARD_DATA = VBOX_3610; | ||
| − | |||
= Tutorials = | = Tutorials = | ||
Revision as of 11:55, 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 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.
