Add configuration menu for the VGA ROM

[seabios.git] / vgasrc / vga.c

diff --git a/vgasrc/vga.c b/vgasrc/vga.c
index 748ddd49bfe0fd643a2459b42cf1fa7eeaad1ac4..3988da9c9a58b451ace2829cd433a76e9d90b1f4 100644 (file)
--- a/vgasrc/vga.c
+++ b/vgasrc/vga.c
@@ -18,10 +18,6 @@
 #include "optionroms.h" // struct pci_data
 #include "config.h" // CONFIG_*
 
-// XXX
-#define CONFIG_VGA_BOCHS 0
-#define CONFIG_VGA_CIRRUS 0
-
 // XXX
 #define DEBUG_VGA_POST 1
 #define DEBUG_VGA_10 3