diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/arch/x86/Makefile.inc | 5 | ||||
| -rw-r--r-- | src/device/Kconfig | 35 |
2 files changed, 40 insertions, 0 deletions
diff --git a/src/arch/x86/Makefile.inc b/src/arch/x86/Makefile.inc index 3c4a8b075d..e3151ef1a9 100644 --- a/src/arch/x86/Makefile.inc +++ b/src/arch/x86/Makefile.inc @@ -47,6 +47,11 @@ cbfs-files-$(CONFIG_VGA_BIOS) += pci$(stripped_vgabios_id).rom pci$(stripped_vgabios_id).rom-file := $(call strip_quotes,$(CONFIG_VGA_BIOS_FILE)) pci$(stripped_vgabios_id).rom-type := optionrom +stripped_vgabios_dgpu_id = $(call strip_quotes,$(CONFIG_VGA_BIOS_DGPU_ID)) +cbfs-files-$(CONFIG_VGA_BIOS_DGPU) += pci$(stripped_vgabios_dgpu_id).rom +pci$(stripped_vgabios_dgpu_id).rom-file := $(call strip_quotes,$(CONFIG_VGA_BIOS_DGPU_FILE)) +pci$(stripped_vgabios_dgpu_id).rom-type := optionrom + verstage-$(CONFIG_HAVE_CF9_RESET) += cf9_reset.c bootblock-$(CONFIG_HAVE_CF9_RESET) += cf9_reset.c romstage-$(CONFIG_HAVE_CF9_RESET) += cf9_reset.c diff --git a/src/device/Kconfig b/src/device/Kconfig index f0fdce2a92..8001b4310e 100644 --- a/src/device/Kconfig +++ b/src/device/Kconfig @@ -613,6 +613,41 @@ config VGA_BIOS_ID 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 + help + Select this option if you have a VGA BIOS image for discrete GPU + that you would like to add to your ROM. + + You will be able to specify the location and file name of the + image later. + +config VGA_BIOS_DGPU_FILE + string "Discrete VGA BIOS path and filename" + depends on VGA_BIOS_DGPU + default "vgabios_dgpu.bin" + help + The path and filename of the file to use as VGA BIOS for discrete GPU. + +config VGA_BIOS_DGPU_ID + string "Discrete VGA device PCI IDs" + depends on VGA_BIOS_DGPU + default "1002,6663" + help + The comma-separated PCI vendor and device ID that would associate + your VGA BIOS to your discrete video card. + + Examples: + 1002,6663 for HD 8570M + 1002,6665 for R5 M230 + + In the above examples 1002 is the PCI vendor ID (in hex, but without + the "0x" prefix) and 6663 / 6665 specifies the PCI device ID of the + discrete 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 INTEL_GMA_HAVE_VBT bool help |