tree 88e1bfe4c42fe89c6dfe006ffe165500b7940aad
parent ea985d235b868047cb4d8cb5657bcd8ad98c6ba2
author Paolo Bonzini <pbonzini@redhat.com> 1694779809 +0200
committer Paolo Bonzini <pbonzini@redhat.com> 1695659103 +0200

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>