Derek Lin's starred repositories
systemboot
SystemBoot is a LinuxBoot distribution that works as a system firmware + bootloader, based on u-root
heads-wiki
Documentation for the Heads firmware project
tpm2-tools
The source repository for the Trusted Platform Module (TPM2.0) tools