On Wed, 24 Aug 2011 08:16:59 +0200, Siju George <sgeorge.ml at gmail.com> wrote: What about the dmesg? Well, the part you pasted shows the one physical CPU that you have. Somewhere below you'll find SMP initialization messages, etc. You might have to boot verbose to see it. Sascha