[BIOS] http://www.coreboot.org/SeaBIOS (git://git.seabios.org/seabios.git)