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		%!s(int64=3) %!d(string=hai) anos
..
coreboot	814f3bdb5c osbmk: Avoid redundant steps when building for [a] specific board(s)	%!s(int64=3) %!d(string=hai) anos
seabios	a44d78b617 update/seabios: new script, for running make-oldconfig on seabios configs	%!s(int64=3) %!d(string=hai) anos
tianocore	814f3bdb5c osbmk: Avoid redundant steps when building for [a] specific board(s)	%!s(int64=3) %!d(string=hai) anos