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 |