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.

forked from osboot/osbmk

Leah Rowe 83c230b0c3 add t440p config with 4mb cbfs		2 years ago
..
config	83c230b0c3 add t440p config with 4mb cbfs	2 years ago
board.cfg	83c230b0c3 add t440p config with 4mb cbfs	2 years ago