On Monday 11 February 2008 09:17:43 Ingo Molnar wrote:
Thanks Ingo - the cause of the crash is ACPI being disabled on your system for
some reason. I can reproduce your crash every time here with acpi=off.
The two WMI based drivers (acer-wmi, tc1100-wmi) in the kernel both need a
simple patch each to fix this - patches to follow.
-Carlos
--
E-Mail: carlos@strangeworlds.co.uk
Web: strangeworlds.co.uk
GPG Key ID: 0x23EE722D
--