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 df76c3eb63 Fork Libreboot 20160907 build system. Large parts have been re-written.		4 jaren geleden
..
patch	df76c3eb63 Fork Libreboot 20160907 build system. Large parts have been re-written.	3 jaren geleden