search

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

Abort in in Boot Options Menu not working #16

Closed nestire closed 2 years ago

nestire commented 2 years ago

from the forum: https://support.nitrokey.com/t/heads-1-3-1-boot-menu-bug/4161/4

nestire commented 2 years ago

Fix: add a return to main menu point ad fix check in kexec-select-boot