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
