madbehaviorus/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.

ответвлено от osboot/osbmk

Leah Rowe 1ecbd43cb2 Tianocore: Use uefipayloadpkg branch instead of coreboot_fb		3 лет назад
..
dummy.coreboot.config	1ecbd43cb2 Tianocore: Use uefipayloadpkg branch instead of coreboot_fb	3 лет назад