boards/x86/acrn: build it in x86_64 mode and switch to X2APIC

- added CONFIG_X86_64 since ACRN hypervisor supports x86_64 capable
  platforms only.
- removed CONFIG_SET_GDT: Zephyr doesn't support it in x86_64, and ACRN
  doesn't require the guests to setup GDT during boot time.
- added CONFIG_X2APIC, which is preferred by ACRN, which makes it
  possible to pass through local APIC to the guests.

Signed-off-by: Zide Chen <zide.chen@intel.com>
This commit is contained in:
Zide Chen 2020-02-05 08:32:00 -08:00 committed by Andrew Boie
commit d0126a037d
2 changed files with 2 additions and 1 deletions

View file

@ -5,4 +5,4 @@ config BOARD_ACRN
bool "ACRN User OS"
depends on SOC_IA32
select CPU_HAS_FPU
select SET_GDT
select X86_64

View file

@ -5,6 +5,7 @@ CONFIG_BOARD_ACRN=y
CONFIG_PIC_DISABLE=y
CONFIG_LOAPIC=y
CONFIG_LOAPIC_TIMER=y
CONFIG_X2APIC=y
CONFIG_CONSOLE=y
CONFIG_SERIAL=y
CONFIG_UART_NS16550=y