zephyr/arch/arm64/core/xen/Kconfig
Dmytro Firsov ac0f731b2e xen: add Kconfig option for Zephyr on Dom0less setups
Dom0less is Xen mode without privileged domain. All guests are created
according to hypervisor device tree configuration on boot. Thus, there
is no Dom0 with console daemon, that usually manages console output
from domains.

Zephyr OS contains 2 serial drivers related to Xen hypervisor: regular
with console shared page and consoleio-based. The first one is for
setups with console daemon and usually was used for Zephyr DomU guests.
The second one previously was used only for Zephyr Dom0 and had
corresponding Kconfig options. But consoleio is also used as interface
for DomU output on Dom0less setups and should be configurable without
XEN_DOM0 option.

Add corresponding XEN_DOM0LESS config to Xen Kconfig files and proper
dependencies in serial drivers.

Signed-off-by: Dmytro Firsov <dmytro_firsov@epam.com>
Co-authored-by: Oleksandr Tyshchenko <oleksandr_tyshchenko@epam.com>
2023-09-18 10:43:45 +01:00

27 lines
663 B
Text

# Xen hypervisor configuration options
# Copyright (c) 2023 EPAM Systems
# SPDX-License-Identifier: Apache-2.0
config XEN
bool
default y
depends on ARMV8_A
depends on DT_HAS_XEN_XEN_ENABLED
help
Enables support of Xen hypervisor on arm64 platform. Get enabled
when board device tree contains "hypervisor" node with "xen,xen"
compatible enabled.
config XEN_DOM0
bool "Zephyr as Xen Domain 0"
depends on XEN
help
Built binary will be used as Xen privileged domain (Domain 0).
config XEN_DOM0LESS
bool "Zephyr for Xen Dom0less setup"
depends on XEN && !XEN_DOM0
help
Configures Zephyr as DomU, that can be started on Dom0less
setup.