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. @ libre

Leah Rowe a02723897c fix seabios downloading		3 éve
..
coreboot	319b8c2cdc board/x301: add new board	3 éve
grub	6a3f931ec2 grub.cfg: Add option for returning to SeaBIOS, when using SeaBIOS-with-GRUB	3 éve
memtest86plus	df76c3eb63 Fork Libreboot 20160907 build system. Large parts have been re-written.	3 éve
scripts	a02723897c fix seabios downloading	3 éve
seabios	fa35c145af download/seabios: add patch to enable loading but not executing option roms	3 éve
tianocore	efd8f20fec Tianocore: disable microcode updates in dummy coreboot config	3 éve