OrgZephyr/zephyr
OrgZephyr
/
zephyr
mirror of https://github.com/zephyrproject-rtos/zephyr.git
1
0
Fork 0
Code Issues Releases Wiki Activity
zephyr/soc/arm64/xenvm/Kconfig.soc

16 lines
341 B
Plaintext
Raw Normal View History

arm: aarch64: add Xen virtual machine support This commit adds minimal support for running zephyr as Xen guest. It does not use xen PV console, which is somewhat hard to implement, as it depends on xenbus infrastructure. Instead SBSA-compatible PL011 uart is used. Signed-off-by: Volodymyr Babchuk <volodymyr_babchuk@epam.com>
2020-11-20 23:39:46 +08:00
# Copyright 2020 EPAM Systems
# SPDX-License-Identifier: Apache-2.0
config SOC_XENVM
bool "Xen virtual machine on aarch64"
select ARM64
select ARM_ARCH_TIMER
select GIC_V2
select CPU_CORTEX_A72
soc: arm64: xenvm: move Kconfig option to soc The XEN_INITIAL_DOMAIN option was defined at board level, however, some drivers such as the XEN serial driver has dependencies on XEN_INITIAL_DOMAIN, meaning any new board has to define its own copy of XEN_INITIAL_DOMAIN. Move the option to SoC Kconfig. Signed-off-by: Gerard Marull-Paretas <gerard.marull@nordicsemi.no>
2022-02-15 22:26:44 +08:00
config XEN_INITIAL_DOMAIN
bool "Zephyr as Xen Domain 0"
depends on SOC_XENVM
help
Built binary will be used as Xen privileged domain.