[PATCH 11/24] xen/arm: introduce CONFIG_XEN on ARM

Signed-off-by: Stefano Stabellini stefano.stabellini@eu.citrix.com --- arch/arm/Kconfig | 10 ++++++++++ 1 files changed, 10 insertions(+), 0 deletions(-)

diff --git a/arch/arm/Kconfig b/arch/arm/Kconfig index a91009c..9c54cb4 100644 --- a/arch/arm/Kconfig +++ b/arch/arm/Kconfig @@ -2228,6 +2228,16 @@ config NEON Say Y to include support code for NEON, the ARMv7 Advanced SIMD Extension.

+config XEN_DOM0 + def_bool y + +config XEN + bool "Xen guest support on ARM" + depends on ARM && OF + select XEN_DOM0 + help + Say Y if you want to run Linux in a Virtual Machine on Xen on ARM. + endmenu

menu "Userspace binary formats"