GNUBoot
/
coreboot-kgpe-d16
2
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

src/device/Kconfig: make help for VGA_BIOS_ID and PXE_ROM_ID more similar 

Add to VGA_BIOS_ID the hint about lspci -nn and add to PXE_ROM_ID an
empty line at the end for better readability in menuconfig.

Change-Id: I56751c047c1ff08142e2af58ef3ba5fe1169eba5
Signed-off-by: Daniele Forsi <dforsi@gmail.com>
Reviewed-on: http://review.coreboot.org/6301
Tested-by: build bot (Jenkins)
Reviewed-by: Edward O'Callaghan <eocallaghan@alterapraxis.com>
This commit is contained in:
Daniele Forsi 2014-07-17 11:59:41 +02:00 committed by Patrick Georgi
parent 53847a211b
commit f2fb7d916c
1 changed files with 3 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
src/device/Kconfig
View File

@ -316,6 +316,8 @@ config VGA_BIOS_ID
the "0x" prefix) and 3230 specifies the PCI device ID of the the "0x" prefix) and 3230 specifies the PCI device ID of the
video card (also in hex, without "0x" prefix). 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_MBI config INTEL_MBI
bool "Add an MBI image" bool "Add an MBI image"
depends on NORTHBRIDGE_INTEL_I82830 depends on NORTHBRIDGE_INTEL_I82830
@ -538,6 +540,7 @@ config PXE_ROM_ID
network card (also in hex, without "0x" prefix). network card (also in hex, without "0x" prefix).
Under GNU/Linux you can run `lspci -nn` to list the IDs of your PCI devices. Under GNU/Linux you can run `lspci -nn` to list the IDs of your PCI devices.
endmenu endmenu
config SUBSYSTEM_VENDOR_ID config SUBSYSTEM_VENDOR_ID