176240c3c2
Currently xenvm board/soc is configured to use GICv2 and there is no clean way(without modifying the source code) to alter this configuration to use GICv3. Due to the increasing number of users wishing to use GICv3, add a new configuration called xenvm_gicv3 that enables GICv3. Create a Kconfig file and add a config XENVM_USE_GIC_V3 that, if set, will cause SOC_XENVM to select GICv3 instead of GICv2. Update documentation accordingly. Take the opportunity to remove the unnecessary config options from the defconfig files. Signed-off-by: Michal Orzel <michal.orzel@arm.com>
17 lines
397 B
Plaintext
17 lines
397 B
Plaintext
# 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_V3 if XENVM_USE_GIC_V3
|
|
select GIC_V2 if !XENVM_USE_GIC_V3
|
|
select CPU_CORTEX_A72
|
|
|
|
config XEN_INITIAL_DOMAIN
|
|
bool "Zephyr as Xen Domain 0"
|
|
depends on SOC_XENVM
|
|
help
|
|
Built binary will be used as Xen privileged domain.
|