Cannot change the default kernel

Nitrokey / heads

A minimal Linux that runs as a coreboot or LinuxBoot ROM payload to provide a secure, flexible boot environment for laptops and servers.

http://osresearch.net/

GNU General Public License v2.0

15 stars 1 forks source link

Cannot change the default kernel #5

Closed szszszsz closed 4 years ago

szszszsz commented 4 years ago

In release v1.1 the default kernel cannot be changed for the one lower in the list. The cause of the bug lies in leaving the other default selection file, which turns up in the sorted list earlier than other positions.

Workaround guide added at:

https://docs.nitrokey.com/x230/qubes/default-boot.html#changing-default-kernel

alex-nitrokey commented 4 years ago

Fixed by c7085d89c3f1b0a3ef36e1937e18ce0792c07247