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

forked from osboot/osbmk

Leah Rowe df76c3eb63 Fork Libreboot 20160907 build system. Large parts have been re-written.		3 years ago
..
patch	df76c3eb63 Fork Libreboot 20160907 build system. Large parts have been re-written.	3 years ago