On Thu, 2007-06-21 at 23:55 +0200, Thomas Gleixner wrote: > > > X2 Mobile Technology TL-50' CPU, but its booting 32 bit SMP (make > 1.) are you booting a 32bit or a 64 bit kernel ? Sigh, I'm too tired :) tglx - To unsubscribe from this list: send the line "unsubscribe linux-acpi" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html
