[coreboot] [v2] r4733 - in trunk/coreboot-v2/src/mainboard/intel: jarrell xe7501devkit

[svn at coreboot.org]

Author: oxygene
Date: 2009-10-07 18:00:40 +0200 (Wed, 07 Oct 2009)
New Revision: 4733

Modified:
   trunk/coreboot-v2/src/mainboard/intel/jarrell/Kconfig
   trunk/coreboot-v2/src/mainboard/intel/xe7501devkit/Kconfig
Log:
Fix intel board build on kconfig. MAX_CPUS was missing

Signed-off-by: Patrick Georgi <patrick.georgi at coresystems.de>
Acked-by: Myles Watson <mylesgw at gmail.com>


Modified: trunk/coreboot-v2/src/mainboard/intel/jarrell/Kconfig
===================================================================
--- trunk/coreboot-v2/src/mainboard/intel/jarrell/Kconfig	2009-10-07 15:30:58 UTC (rev 4732)
+++ trunk/coreboot-v2/src/mainboard/intel/jarrell/Kconfig	2009-10-07 16:00:40 UTC (rev 4733)
@@ -29,3 +29,12 @@
 	default "Jarrell"
 	depends on BOARD_INTEL_JARRELL
 
+config MAX_CPUS
+	int
+	default 4
+	depends on BOARD_INTEL_JARRELL
+
+config IRQ_SLOT_COUNT
+	int
+	default 9
+	depends on BOARD_INTEL_JARRELL

Modified: trunk/coreboot-v2/src/mainboard/intel/xe7501devkit/Kconfig
===================================================================
--- trunk/coreboot-v2/src/mainboard/intel/xe7501devkit/Kconfig	2009-10-07 15:30:58 UTC (rev 4732)
+++ trunk/coreboot-v2/src/mainboard/intel/xe7501devkit/Kconfig	2009-10-07 16:00:40 UTC (rev 4733)
@@ -43,3 +43,13 @@
 	int
 	default 12
 	depends on BOARD_INTEL_XE7501DEVKIT
+
+config MAX_CPUS
+	int
+	default 2
+	depends on BOARD_INTEL_XE7501DEVKIT
+
+config MAX_PHYSICAL_CPUS
+	int
+	default 2
+	depends on BOARD_INTEL_XE7501DEVKIT