summaryrefslogtreecommitdiff
path: root/src/device/Kconfig
diff options
context:
space:
mode:
Diffstat (limited to 'src/device/Kconfig')
-rw-r--r--src/device/Kconfig29
1 files changed, 29 insertions, 0 deletions
diff --git a/src/device/Kconfig b/src/device/Kconfig
index 25123ea3e0..66130ccd41 100644
--- a/src/device/Kconfig
+++ b/src/device/Kconfig
@@ -680,6 +680,35 @@ config VGA_BIOS_ID
Under GNU/Linux you can run `lspci -nn` to list the IDs of your PCI devices.
+config VGA_BIOS_SECOND
+ bool "Add a 2nd video BIOS image"
+ depends on ARCH_X86 && VGA_BIOS
+ help
+ Select this option if you have a 2nd video BIOS image that you would
+ like to add to your ROM.
+
+config VGA_BIOS_SECOND_FILE
+ string "2nd video BIOS path and filename"
+ depends on VGA_BIOS_SECOND
+ default "vbios2.bin"
+ help
+ The path and filename of the file to use as video BIOS.
+
+config VGA_BIOS_SECOND_ID
+ string "Graphics device PCI IDs"
+ depends on VGA_BIOS_SECOND
+ help
+ The comma-separated PCI vendor and device ID that would associate
+ your vBIOS to your video card.
+
+ Example: 1106,3230
+
+ In the above example 1106 is the PCI vendor ID (in hex, but without
+ the "0x" prefix) and 3230 specifies the PCI device ID of the
+ video card (also in hex, without "0x" prefix).
+
+ Under GNU/Linux you can run `lspci -nn` to list the IDs of your PCI devices.
+
config VGA_BIOS_DGPU
bool "Add a discrete VGA BIOS image"
depends on VGA_BIOS