new file mode 100644
@@ -0,0 +1,8 @@
+
+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.
@@ -31,6 +31,8 @@ config ARCH_DEFCONFIG
menu "Architecture Features"
+source "arch/Kconfig"
+
# Select HAS_GICV3 if GICv3 is supported
config HAS_GICV3
bool
@@ -25,6 +25,8 @@ config ARCH_DEFCONFIG
menu "Architecture Features"
+source "arch/Kconfig"
+
config BIGMEM
bool "big memory support"
default n
Introduce an option where the user can modifiy the maximum number of supported physical CPUs. Signed-off-by: Doug Goldstein <cardoe@cardoe.com> --- xen/arch/Kconfig | 8 ++++++++ xen/arch/arm/Kconfig | 2 ++ xen/arch/x86/Kconfig | 2 ++ 3 files changed, 12 insertions(+) create mode 100644 xen/arch/Kconfig