GNUtoo/osbmk: osboot build system (OSBoot-MaKe). osboot performs hardware initialization on your computer, using coreboot, to replace the proprietary BIOS/UEFI firmware on supported x86 computers. @ 20211122

派生自 osboot/osbmk

Leah Rowe 8888b2b777 bump seabios to the latest version in seabios.git		3 年之前
..
config	89517ed6b9 libreboot!	3 年之前