diff options
Diffstat (limited to 'arch/arm/cpu/armv7/Kconfig')
| -rw-r--r-- | arch/arm/cpu/armv7/Kconfig | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/arch/arm/cpu/armv7/Kconfig b/arch/arm/cpu/armv7/Kconfig index 14569e560b..8eee801dce 100644 --- a/arch/arm/cpu/armv7/Kconfig +++ b/arch/arm/cpu/armv7/Kconfig @@ -41,6 +41,20 @@ config ARMV7_PSCI help Say Y here to enable PSCI support. +choice + prompt "Supported PSCI version" + depends on ARMV7_PSCI + default ARMV7_PSCI_1_0 + help + Select the supported PSCI version. + +config ARMV7_PSCI_1_0 + bool "PSCI V1.0" + +config ARMV7_PSCI_0_2 + bool "PSCI V0.2" +endchoice + config ARMV7_PSCI_NR_CPUS int "Maximum supported CPUs for PSCI" depends on ARMV7_NONSEC |