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.

Leah Rowe f22251980b grub.cfg: skip ata/ahci according to grub_scan_disk		%!s(int64=3) %!d(string=hai) anos
..
AUTHORS	4537186ebf grub configs: only show SeaBIOS and Tianocore entries if these payloads exist	%!s(int64=3) %!d(string=hai) anos
COPYING	df76c3eb63 Fork Libreboot 20160907 build system. Large parts have been re-written.	%!s(int64=4) %!d(string=hai) anos
grub.cfg	f22251980b grub.cfg: skip ata/ahci according to grub_scan_disk	%!s(int64=3) %!d(string=hai) anos
grub_memdisk.cfg	df76c3eb63 Fork Libreboot 20160907 build system. Large parts have been re-written.	%!s(int64=4) %!d(string=hai) anos