[PATCH 0/2] pc_piix: remove machines using a 128K BIOS

[Paolo Bonzini]

Remove the deprecated machine types pc-i440fx-1.4 up to pc-i440fx-1.7
These are the last users of the 128K SeaBIOS blob in the i440FX family,
and removing them allows us to drop PCI support from the 128K blob,
which is always strapped for free space.

Paolo

Paolo Bonzini (2):
  pc_piix: remove pc-i440fx-1.4 up to pc-i440fx-1.7
  seabios: remove PCI drivers from bios.bin

 docs/about/deprecated.rst       |   8 ----
 docs/about/removed-features.rst |   2 +-
 hw/i386/pc.c                    |  54 -----------------------
 hw/i386/pc_piix.c               |  73 --------------------------------
 pc-bios/bios.bin                | Bin 131072 -> 131072 bytes
 roms/config.seabios-128k        |  30 +++++++++----
 6 files changed, 23 insertions(+), 144 deletions(-)

-- 
2.41.0