Age | Commit message (Expand) | Author |
---|---|---|
2023-09-25 | seabios: remove PCI drivers from bios.bin | Paolo Bonzini |
2020-07-02 | seabios: update 128k config | Gerd Hoffmann |
2019-12-20 | seabios: update to 1.13.0 final | Gerd Hoffmann |
2019-03-18 | seabios: turn off CONFIG_ATA_DMA | Gerd Hoffmann |
2018-07-02 | seabios: enable ide dma | Gerd Hoffmann |
2017-10-19 | seabios: update to 1.11 prerelease | Gerd Hoffmann |
2016-07-04 | seabios: update 128k config | Gerd Hoffmann |
2016-01-05 | seabios: update 128k bios config | Gerd Hoffmann |
2015-02-19 | seabios: update to 1.8.0 release | Gerd Hoffmann |
2014-05-15 | seabios: update to 1.7.5-rc1 | Gerd Hoffmann |
2013-12-06 | roms: build two seabios binaries | Gerd Hoffmann |