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.
-- acpi hangs on boot https://bugs.launchpad.net/bugs/254668 You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs