osboot/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. @ libre

Leah Rowe fa35c145af download/seabios: add patch to enable loading but not executing option roms		%!s(int64=4) %!d(string=hai) anos
..
config	6a6dac153c update SeaBIOS configs for the new SeaBIOS version	%!s(int64=4) %!d(string=hai) anos
patches	fa35c145af download/seabios: add patch to enable loading but not executing option roms	%!s(int64=4) %!d(string=hai) anos