Hello, 2010/1/28 David MENTRE <dmen...@linux-france.org>: > For the record, I have opened a bug against "linux" package (thanks Dustin): > https://bugs.launchpad.net/ubuntu/+source/linux/+bug/513905
For archives: following Chris Cheney advice, I looked at the BIOS. I switched ACPI level to 3.0 (vs. 1.0 previously) and activated ACPI (vs. disabled previously). The second core of my CPU is now seen and back!! :-) I've closed the above bug. Best regards, d. -- Ubuntu-devel-discuss mailing list Ubuntu-devel-discuss@lists.ubuntu.com Modify settings or unsubscribe at: https://lists.ubuntu.com/mailman/listinfo/ubuntu-devel-discuss
