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