From a1fadbcf482c38407a8ff488b0f9a3c4332802d9 Mon Sep 17 00:00:00 2001 From: Paolo Bonzini Date: Fri, 15 Sep 2023 14:10:09 +0200 Subject: 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 Signed-off-by: Paolo Bonzini --- roms/config.seabios-128k | 27 ++++++++++++++++++--------- 1 file changed, 18 insertions(+), 9 deletions(-) (limited to 'roms') diff --git a/roms/config.seabios-128k b/roms/config.seabios-128k index d18c802..0b144bb 100644 --- a/roms/config.seabios-128k +++ b/roms/config.seabios-128k @@ -1,21 +1,30 @@ -# for qemu machine types 1.7 + older -# need to turn off features (xhci,uas) to make it fit into 128k +# SeaBIOS Configuration for -M isapc + CONFIG_QEMU=y CONFIG_ROM_SIZE=128 CONFIG_ATA_DMA=n -CONFIG_BOOTSPLASH=n CONFIG_XEN=n -CONFIG_USB_OHCI=n -CONFIG_USB_XHCI=n -CONFIG_USB_UAS=n +CONFIG_ATA_PIO32=n +CONFIG_AHCI=n CONFIG_SDCARD=n -CONFIG_TCGBIOS=n -CONFIG_MPT_SCSI=n +CONFIG_VIRTIO_BLK=n +CONFIG_VIRTIO_SCSI=n +CONFIG_PVSCSI=n CONFIG_ESP_SCSI=n +CONFIG_LSI_SCSI=n CONFIG_MEGASAS=n -CONFIG_PVSCSI=n +CONFIG_MPT_SCSI=n CONFIG_NVME=n CONFIG_USE_SMM=n CONFIG_VGAHOOKS=n CONFIG_HOST_BIOS_GEOMETRY=n +CONFIG_USB=n +CONFIG_PMTIMER=n +CONFIG_PCIBIOS=n +CONFIG_DISABLE_A20=n +CONFIG_WRITABLE_UPPERMEMORY=n +CONFIG_TCGBIOS=n +CONFIG_ACPI=n CONFIG_ACPI_PARSE=n +CONFIG_DEBUG_SERIAL=n +CONFIG_DEBUG_SERIAL_MMIO=n -- cgit v1.1