diff options
author | Stefano Stabellini <stefano.stabellini@eu.citrix.com> | 2013-04-24 18:47:18 +0000 |
---|---|---|
committer | Stefano Stabellini <stefano.stabellini@eu.citrix.com> | 2013-04-25 16:46:08 +0000 |
commit | 17b7ab80e33dab6b05eaa8332ede8c038fb0d9cb (patch) | |
tree | 1a6fb7953ff5661079ebacf1a4e7256aabb5a26b /arch/arm/Kconfig | |
parent | cc3d7f70c37641ca417f4c02ecaf12cd9772ffa6 (diff) |
xen/arm: XEN selects ARM_PSCI
Signed-off-by: Stefano Stabellini <stefano.stabellini@eu.citrix.com>
Diffstat (limited to 'arch/arm/Kconfig')
-rw-r--r-- | arch/arm/Kconfig | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/arch/arm/Kconfig b/arch/arm/Kconfig index 2c3bdce15134..344e299f1257 100644 --- a/arch/arm/Kconfig +++ b/arch/arm/Kconfig @@ -1892,6 +1892,7 @@ config XEN depends on ARM && AEABI && OF depends on CPU_V7 && !CPU_V6 depends on !GENERIC_ATOMIC64 + select ARM_PSCI help Say Y if you want to run Linux in a Virtual Machine on Xen on ARM. |