2019-04-06 21:08:09 +08:00
|
|
|
# SPDX-License-Identifier: Apache-2.0
|
|
|
|
|
2017-11-02 08:40:17 +08:00
|
|
|
if BOARD_X86_JAILHOUSE
|
|
|
|
|
|
|
|
config BOARD
|
2018-05-26 02:56:38 +08:00
|
|
|
default "x86_jailhouse"
|
2017-11-02 08:40:17 +08:00
|
|
|
|
|
|
|
config JAILHOUSE
|
|
|
|
bool "Zephyr port to boot as a (x86) Jailhouse inmate cell payload"
|
|
|
|
default y
|
|
|
|
|
|
|
|
config JAILHOUSE_X2APIC
|
|
|
|
depends on JAILHOUSE
|
|
|
|
bool "When in Jailhouse inmate cell mode, access APIC in x2APIC mode"
|
|
|
|
|
|
|
|
endif # BOARD_X86_JAILHOUSE
|