diff options
author | Stefano Stabellini <stefano.stabellini@eu.citrix.com> | 2012-09-17 16:58:17 +0200 |
---|---|---|
committer | Stefano Stabellini <stefano.stabellini@eu.citrix.com> | 2012-09-17 16:58:17 +0200 |
commit | eff8d6447d5fac2995ffa5c1f0ea2da5bd7074c9 (patch) | |
tree | 6accbc24a6bf29780edaaca9b563bb23a5746230 /arch/arm/Kconfig | |
parent | xen: do not compile manage, balloon, pci, acpi, pcpu and cpu_hotplug on ARM (diff) | |
download | linux-eff8d6447d5fac2995ffa5c1f0ea2da5bd7074c9.tar.xz linux-eff8d6447d5fac2995ffa5c1f0ea2da5bd7074c9.zip |
xen/arm: introduce CONFIG_XEN on ARM
Changes in v5:
- make XEN_DOM0 depend on XEN;
- avoid "select XEN_DOM0" in XEN.
Changes in v2:
- mark Xen guest support on ARM as EXPERIMENTAL.
Signed-off-by: Stefano Stabellini <stefano.stabellini@eu.citrix.com>
CC: Sergei Shtylyov <sshtylyov@mvista.com>
Diffstat (limited to 'arch/arm/Kconfig')
-rw-r--r-- | arch/arm/Kconfig | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/arch/arm/Kconfig b/arch/arm/Kconfig index 2f88d8d97701..33614669a9a0 100644 --- a/arch/arm/Kconfig +++ b/arch/arm/Kconfig @@ -1897,6 +1897,16 @@ config DEPRECATED_PARAM_STRUCT This was deprecated in 2001 and announced to live on for 5 years. Some old boot loaders still use this way. +config XEN_DOM0 + def_bool y + depends on XEN + +config XEN + bool "Xen guest support on ARM (EXPERIMENTAL)" + depends on EXPERIMENTAL && ARM && OF + help + Say Y if you want to run Linux in a Virtual Machine on Xen on ARM. + endmenu menu "Boot options" |