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

forké depuis osboot/osbmk

Leah Rowe 81330c649f coreboot/*: set grub_scan_disk to ahci on most boards		il y a 2 ans
..
config	82f381b895 do full coreboot checkout. enable microcode updates. don't delete blobs	il y a 2 ans
board.cfg	81330c649f coreboot/*: set grub_scan_disk to ahci on most boards	il y a 2 ans