exotime/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. @ 57296f8e33732f62edc35bcd219eaa3e5202524b

4 of 7 (Leah Rowe) c365a3d9a7 also add PIKE2008 workaround to SeaBIOS ROMs, not just SeaGRUB		hace 8 años
..
withgrub	db52282cd9 make use of ./oldbuild, not ./build, in the old build system	hace 7 años
withgrub_helper	54681098aa build/roms/withgrub: disable loading option ROMs in SeaGRUB	hace 7 años
withseabios	db52282cd9 make use of ./oldbuild, not ./build, in the old build system	hace 7 años
withseabios_helper	c365a3d9a7 also add PIKE2008 workaround to SeaBIOS ROMs, not just SeaGRUB	hace 7 años