diff --git a/bios/seabios-config b/bios/seabios-config
deleted file mode 100644
index b7022475..00000000
--- a/bios/seabios-config
+++ /dev/null
@@ -1,108 +0,0 @@
-#
-# Automatically generated file; DO NOT EDIT.
-# SeaBIOS Configuration
-#
-
-#
-# General Features
-#
-# CONFIG_COREBOOT is not set
-CONFIG_QEMU=y
-# CONFIG_CSM is not set
-CONFIG_QEMU_HARDWARE=y
-# CONFIG_XEN is not set
-CONFIG_THREADS=y
-CONFIG_RELOCATE_INIT=y
-# CONFIG_BOOTMENU is not set
-CONFIG_BOOTORDER=y
-CONFIG_ENTRY_EXTRASTACK=y
-CONFIG_MALLOC_UPPERMEMORY=y
-CONFIG_ROM_SIZE=0
-
-#
-# Hardware support
-#
-CONFIG_ATA=y
-CONFIG_ATA_DMA=y
-CONFIG_ATA_PIO32=y
-CONFIG_AHCI=y
-CONFIG_VIRTIO_BLK=y
-CONFIG_VIRTIO_SCSI=y
-CONFIG_PVSCSI=y
-CONFIG_ESP_SCSI=y
-CONFIG_LSI_SCSI=y
-CONFIG_MEGASAS=y
-CONFIG_FLOPPY=y
-CONFIG_PS2PORT=y
-CONFIG_USB=y
-CONFIG_USB_UHCI=y
-CONFIG_USB_OHCI=y
-CONFIG_USB_EHCI=y
-CONFIG_USB_XHCI=y
-CONFIG_USB_MSC=y
-CONFIG_USB_UAS=y
-CONFIG_USB_HUB=y
-CONFIG_USB_KEYBOARD=y
-CONFIG_USB_MOUSE=y
-CONFIG_SERIAL=y
-CONFIG_LPT=y
-# CONFIG_USE_SMM is not set
-CONFIG_MTRR_INIT=y
-# CONFIG_PMTIMER is not set
-
-#
-# BIOS interfaces
-#
-CONFIG_DRIVES=y
-CONFIG_CDROM_BOOT=y
-CONFIG_CDROM_EMU=y
-CONFIG_PCIBIOS=y
-CONFIG_APMBIOS=y
-CONFIG_PNPBIOS=y
-CONFIG_OPTIONROMS=y
-CONFIG_OPTIONROMS_DEPLOYED=y
-CONFIG_PMM=y
-CONFIG_BOOT=y
-CONFIG_KEYBOARD=y
-CONFIG_KBD_CALL_INT15_4F=y
-CONFIG_MOUSE=y
-CONFIG_S3_RESUME=y
-CONFIG_VGAHOOKS=y
-# CONFIG_DISABLE_A20 is not set
-# CONFIG_WRITABLE_UPPERMEMORY is not set
-
-#
-# BIOS Tables
-#
-CONFIG_PIRTABLE=y
-CONFIG_MPTABLE=y
-CONFIG_SMBIOS=y
-CONFIG_ACPI=y
-CONFIG_ACPI_DSDT=y
-CONFIG_FW_ROMFILE_LOAD=y
-
-#
-# VGA ROM
-#
-# CONFIG_NO_VGABIOS is not set
-# CONFIG_VGA_STANDARD_VGA is not set
-# CONFIG_VGA_CIRRUS is not set
-CONFIG_VGA_BOCHS=y
-# CONFIG_VGA_GEODEGX2 is not set
-# CONFIG_VGA_GEODELX is not set
-CONFIG_BUILD_VGABIOS=y
-CONFIG_VGA_STDVGA_PORTS=y
-CONFIG_VGA_ALLOCATE_EXTRA_STACK=y
-CONFIG_VGA_EXTRA_STACK_SIZE=512
-CONFIG_VGA_VBE=y
-CONFIG_VGA_PCI=y
-# CONFIG_OVERRIDE_PCI_ID is not set
-CONFIG_VGA_VID=0x1234
-CONFIG_VGA_DID=0x1111
-
-#
-# Debugging
-#
-CONFIG_DEBUG_LEVEL=8
-# CONFIG_DEBUG_SERIAL is not set
-CONFIG_DEBUG_IO=y