Due to a known bug in upstream Linux 4.18, users with older multi-core x86 CPUs (Core 2 Duo and earlier?) may not correctly boot up with
linux-libre 4.18 when using the default clocksource.
If you are affected, and the CPU is new enough to support HPET, you may work around this by adding
clocksource=hpet to the kernel command line. GRUB users can accomplish this by inserting
GRUB_CMDLINE_LINUX_DEFAULT+=" clocksource=hpet" in to
/etc/default/grub and re-running
If your CPU is too old to support HPET, you may work around this by using the
linux-libre-lts (4.14) kernel instead of
As this is fixed in 4.18.9, you may also want to wait for a package update.