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.

forkato da osboot/osbmk

shmalebx9 1462a3ce6d move all blobs scripts to one directory		2 anni fa
..
ich9m	a59afec001 osbmk: use multiple cores, everywhere. this will speed up the build process	3 anni fa