Merge git://git.denx.de/u-boot-spi

[u-boot] / arch / arm / cpu / armv7 / Kconfig

diff --git a/arch/arm/cpu/armv7/Kconfig b/arch/arm/cpu/armv7/Kconfig
index 4390f59987d62253ca4e58c2d62864e8e6d2bf17..b9c4f4e79b9b25c9736afab70d265422fce5904c 100644 (file)
--- a/arch/arm/cpu/armv7/Kconfig
+++ b/arch/arm/cpu/armv7/Kconfig
@@ -41,6 +41,15 @@ config ARMV7_PSCI
        help
          Say Y here to enable PSCI support.
 
+config ARMV7_PSCI_NR_CPUS
+       int "Maximum supported CPUs for PSCI"
+       depends on ARMV7_NONSEC
+       default 4
+       help
+         The maximum number of CPUs supported in the PSCI firmware.
+         It is no problem to set a larger value than the number of
+         CPUs in the actual hardware implementation.
+
 config ARMV7_LPAE
        bool "Use LPAE page table format" if EXPERT
        depends on CPU_V7