Unable to boot to operating system

If you are unable to boot your operating system due to a failure to load the kernel, you may be using an operating system that PureBoot is not able to boot. This typically occurs when the kernel is stored in a partition other than /boot. Some of these operating systems include NixOS and GNU Guix.

Please note that even if you install NixOS or GNU Guix with a separate /boot partition, the kernel is not actually on that partition. PureBoot cannot load a kernel from a partition other than /boot.

Note

There is a tracked upstream issue in Heads: https://github.com/linuxboot/heads/issues/753.

Solution

Convert the boot firmware from PureBoot to coreboot+SeaBIOS using the utility script.