Comment 41 for bug 254668

Revision history for this message
Stefan Bader (smb) wrote : Re: acpi hangs on boot

One thing I forgot to ask: which clocksource does the kernel end up with? (sudo cat /sys/devices/system/clocksource/clocksource0/current_clocksource) and which are available (/sys/devices/system/clocksource/clocksource0/available_clocksource).
Also when trying the kernel, add "apic=debug and debug" to the commandline.