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

CI - added flash & hotp-maximized. #10

Closed LennardBoediger closed 2 years ago

LennardBoediger commented 2 years ago

This commit will build all nececarry versions within the ci. It is not tested, but should work anyway.