Hi Nico and Martin, thank you for your clarifications and the pointer to the documentation.
On Sun, 13 Nov 2016 22:46:48 +0100 Nico Huber <[email protected]> wrote: > what do you mean by `actual config`? how did you set it? If you edi- > ted .config manually, it's intended behavior. MAX_CPUS doesn't have > a prompt so it's not user visible / settable. Indeed, I meant the .config file which I edited manually to set the number of CPUs. So I see, to make the T400/T500 systems support both Dual- and Quadcore CPUs I would need to make this setting get a prompt/select then (if not using Kconfig hardcoding of course). Cheers, Daniel -- coreboot mailing list: [email protected] https://www.coreboot.org/mailman/listinfo/coreboot

