diff options
Diffstat (limited to 'src/device')
| -rw-r--r-- | src/device/Kconfig | 31 |
1 files changed, 31 insertions, 0 deletions
diff --git a/src/device/Kconfig b/src/device/Kconfig index 159bc0e76b..ca2fb33028 100644 --- a/src/device/Kconfig +++ b/src/device/Kconfig @@ -467,3 +467,34 @@ config BOOTSPLASH_FILE The path and filename of the file to use as graphical bootsplash screen. The file format has to be jpg. endmenu + +menu "PXE ROM" +config PXE_ROM + bool "Add a PXE ROM image" + help + Select this option if you have a PXE ROM image that you would + like to add to your ROM. + +config PXE_ROM_FILE + string "PXE ROM filename" + depends on PXE_ROM + default "pxe.rom" + help + The path and filename of the file to use as PXE ROM. + +config PXE_ROM_ID + string "network card PCI IDs" + depends on PXE_ROM + default "10ec,8168" + help + The comma-separated PCI vendor and device ID that would associate + your PXE ROM to your network card. + + Example: 10ec,8168 + + In the above example 10ec is the PCI vendor ID (in hex, but without + the "0x" prefix) and 8168 specifies the PCI device ID of the + network card (also in hex, without "0x" prefix). + + Under GNU/Linux you can run `lspci -nn` to list the IDs of your PCI devices. +endmenu |