* ron minnich rminnich@lanl.gov [030728 06:38]:
Eric and Stefan, please pick a name and let us know what it should be. Are CONFIG_MAX_CPUS and CONFIG_MAX_PHYSICAL_CPUS the same or different (I'm guessing different due to hyperthreading)?
I agree. Naming CONFIG_MAX_CPUS CONFIG_MAX_LOGICAL_CPUS would imply that there is a number of max. physical cpus as well.
Stefan