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.

forked from osboot/osbmk

Leah Rowe 814f3bdb5c osbmk: Avoid redundant steps when building for [a] specific board(s)		3 years ago
..
configs	814f3bdb5c osbmk: Avoid redundant steps when building for [a] specific board(s)	3 years ago