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

Leah Rowe 74ef993605 re-do x230 fhd configs		2 년 전
..
config	74ef993605 re-do x230 fhd configs	2 년 전
board.cfg	81b4ff714f Re-add X230 FHD patches	2 년 전