yethal/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.

Leah Rowe a44d78b617 update/seabios: new script, for running make-oldconfig on seabios configs		3 years ago
..
coreboot	814f3bdb5c osbmk: Avoid redundant steps when building for [a] specific board(s)	3 years ago
seabios	a44d78b617 update/seabios: new script, for running make-oldconfig on seabios configs	3 years ago
tianocore	814f3bdb5c osbmk: Avoid redundant steps when building for [a] specific board(s)	3 years ago