xen/arm: XEN selects ARM_PSCI
commit17b7ab80e33dab6b05eaa8332ede8c038fb0d9cb
authorStefano Stabellini <stefano.stabellini@eu.citrix.com>
Wed, 24 Apr 2013 18:47:18 +0000 (24 18:47 +0000)
committerStefano Stabellini <stefano.stabellini@eu.citrix.com>
Thu, 25 Apr 2013 16:46:08 +0000 (25 16:46 +0000)
tree1a6fb7953ff5661079ebacf1a4e7256aabb5a26b
parentcc3d7f70c37641ca417f4c02ecaf12cd9772ffa6
xen/arm: XEN selects ARM_PSCI

Signed-off-by: Stefano Stabellini <stefano.stabellini@eu.citrix.com>
arch/arm/Kconfig