1# Xen hypervisor configuration options
2
3# Copyright (c) 2023 EPAM Systems
4# SPDX-License-Identifier: Apache-2.0
5
6config XEN
7	bool
8	default y
9	depends on ARMV8_A
10	depends on DT_HAS_XEN_XEN_ENABLED
11	help
12	  Enables support of Xen hypervisor on arm64 platform. Get enabled
13	  when board device tree contains "hypervisor" node with "xen,xen"
14	  compatible enabled.
15
16config XEN_DOM0
17	bool "Zephyr as Xen Domain 0"
18	depends on XEN
19	help
20	  Built binary will be used as Xen privileged domain (Domain 0).
21
22config XEN_DOM0LESS
23	bool "Zephyr for Xen Dom0less setup"
24	depends on XEN && !XEN_DOM0
25	help
26	  Configures Zephyr as DomU, that can be started on Dom0less
27	  setup.
28
29config XEN_INTERFACE_VERSION
30	hex "Xen interface version"
31	default 0x00040e00
32	depends on XEN
33	help
34	  Xen interface version to use. This is the version of the
35	  interface that Zephyr will use to communicate with the hypervisor.
36