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.

برگرفته از osboot/osbmk

Leah Rowe 83c230b0c3 add t440p config with 4mb cbfs		2 سال پیش
..
config	83c230b0c3 add t440p config with 4mb cbfs	2 سال پیش
board.cfg	83c230b0c3 add t440p config with 4mb cbfs	2 سال پیش