diff options
| author | Paolo Bonzini <pbonzini@redhat.com> | 2023-09-15 14:10:09 +0200 |
|---|---|---|
| committer | Paolo Bonzini <pbonzini@redhat.com> | 2023-09-25 18:25:03 +0200 |
| commit | a1fadbcf482c38407a8ff488b0f9a3c4332802d9 (patch) | |
| tree | 88e1bfe4c42fe89c6dfe006ffe165500b7940aad /pc-bios | |
| parent | ea985d235b868047cb4d8cb5657bcd8ad98c6ba2 (diff) | |
seabios: remove PCI drivers from bios.bin
bios.bin is now used only by ISA PC, so PCI drivers are not necessary.
Reviewed-by: Thomas Huth <thuth@redhat.com>
Signed-off-by: Paolo Bonzini <pbonzini@redhat.com>
Diffstat (limited to 'pc-bios')
| -rw-r--r-- | pc-bios/bios.bin | bin | 131072 -> 131072 bytes |
1 files changed, 0 insertions, 0 deletions
diff --git a/pc-bios/bios.bin b/pc-bios/bios.bin Binary files differindex 6a196cf72a..d3abd947da 100644 --- a/pc-bios/bios.bin +++ b/pc-bios/bios.bin |