wxie/libreboot: Libreboot is a free boot fimware implementation, to replace the non-free BIOS/UEFI firmware found on most systems. It initializes the hardware and starts a bootloader for your operating system. @ feature/pretty-section-links

forked from libreboot/obsolete-repository-preserved-for-historical-purposes

Paul Kocialkowski 112003a556 Paper build system initial import into Libreboot		7 years ago
..
configs	112003a556 Paper build system initial import into Libreboot	7 years ago
flashmap	112003a556 Paper build system initial import into Libreboot	7 years ago