From 299c6d8171c2d2d1b34358b25df601640a951ac9 Mon Sep 17 00:00:00 2001
From: Stefano Stabellini <stefano.stabellini@eu.citrix.com>
Date: Wed, 24 Apr 2013 18:47:18 +0000
Subject: [PATCH] --- yaml --- r: 374259 b: refs/heads/master c:
 17b7ab80e33dab6b05eaa8332ede8c038fb0d9cb h: refs/heads/master i:   374257:
 f2c6b1fe96f29edaca86c402e57e3b2325f822fc   374255:
 59af2cdbe70207b58fcf2da173d415cc0f2a5ba8 v: v3

---
 [refs]                 | 2 +-
 trunk/arch/arm/Kconfig | 1 +
 2 files changed, 2 insertions(+), 1 deletion(-)

diff --git a/[refs] b/[refs]
index 6ea49a6f0d56..153e611be818 100644
--- a/[refs]
+++ b/[refs]
@@ -1,2 +1,2 @@
 ---
-refs/heads/master: cc3d7f70c37641ca417f4c02ecaf12cd9772ffa6
+refs/heads/master: 17b7ab80e33dab6b05eaa8332ede8c038fb0d9cb
diff --git a/trunk/arch/arm/Kconfig b/trunk/arch/arm/Kconfig
index 2c3bdce15134..344e299f1257 100644
--- a/trunk/arch/arm/Kconfig
+++ b/trunk/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.