Introduce an option where the user can modifiy the maximum number of
supported physical CPUs.
Signed-off-by: Doug Goldstein <cardoe@cardoe.com>
--- /dev/null
+
+config NR_CPUS
+ int "Maximum number of physical CPUs"
+ range 1 4095
+ default "256" if X86
+ default "128" if ARM
+ ---help---
+ Specifies the maximum number of physical CPUs which Xen will support.
menu "Architecture Features"
+source "arch/Kconfig"
+
# Select HAS_GICV3 if GICv3 is supported
config HAS_GICV3
bool
menu "Architecture Features"
+source "arch/Kconfig"
+
config BIGMEM
bool "big memory support"
default n