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

more detailed system info #15

Closed nestire closed 2 years ago

nestire commented 2 years ago
daringer commented 2 years ago

Looks pretty good to me - should merge it, then use the CI built artifacts to test on the devices.

Have you seen this: https://support.nitrokey.com/t/heads-1-3-1-boot-menu-bug/4161 Would you like to include this fix into this PR ?