setup for the new ci server

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

Closed LennardBoediger closed 2 years ago