depends on VGA_BIOS
default "1106,3230"
help
- The ID that would associate your VGA BIOS to your video card.
+ The ID that would associate your VGA BIOS to your video card.
+ (PCI VendorID, PCI Device ID)
endmenu
# TODO: FIX DEPENDENCY HERE
config CONSOLE_VGA
- bool
+ bool "Use VGA console, once initialized."
default n
config MAXIMUM_CONSOLE_LOGLEVEL
menu "Devices"
+config VGA_BRIDGE_SETUP
+ bool "Setup bridges on path to VGA adapter"
+ default y
+ help
+ Allow bridges to set up legacy decoding ranges for VGA. Don't disable
+ this unless you're sure you don't want the briges setup for VGA.
+
config VGA_ROM_RUN
bool "Run VGA Option ROMs"
help
Execute non-VGA PCI option ROMs if found.
choice
- prompt "Option ROM Execution"
- default PCI_OPTION_ROM_RUN_REALMODE
+ prompt "Option ROM Execution"
+ default PCI_OPTION_ROM_RUN_REALMODE
depends on PCI_ROM_RUN || VGA_ROM_RUN
- help
- You can choose to execute PCI option ROMs natively (32bit x86 system
+ help
+ You can choose to execute PCI option ROMs natively (32bit x86 system
required) or in an emulator (x86emu or YABEL).
config PCI_OPTION_ROM_RUN_REALMODE
endmenu
+config CONSOLE_VGA_MULTI
+ bool
+ default n
+
config PCI_64BIT_PREF_MEM
bool
default n
config CARDBUS_PLUGIN_SUPPORT
bool
default n
-
-
-
}
}
-#if CONFIG_CONSOLE_VGA == 1
+#if CONFIG_VGA_BRIDGE_SETUP == 1
device_t vga_pri = 0;
static void set_vga_bridge_bits(void)
{
struct device *child;
int i;
-#if CONFIG_CONSOLE_VGA == 1
+#if CONFIG_VGA_BRIDGE_SETUP == 1
set_vga_bridge_bits();
#endif