83 lines
1.9 KiB
Plaintext
83 lines
1.9 KiB
Plaintext
##
|
|
## This file is part of the coreboot project.
|
|
##
|
|
## This program is free software; you can redistribute it and/or modify
|
|
## it under the terms of the GNU General Public License as published by
|
|
## the Free Software Foundation; version 2 of the License.
|
|
##
|
|
## This program is distributed in the hope that it will be useful,
|
|
## but WITHOUT ANY WARRANTY; without even the implied warranty of
|
|
## MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
|
|
## GNU General Public License for more details.
|
|
##
|
|
|
|
config PXE
|
|
prompt "Add a PXE ROM"
|
|
def_bool n
|
|
depends on ARCH_X86
|
|
|
|
if PXE
|
|
menu "PXE Options"
|
|
|
|
choice
|
|
prompt "PXE ROM to use"
|
|
default PXE_ROM
|
|
|
|
config PXE_ROM
|
|
bool "Add an existing PXE ROM image"
|
|
help
|
|
Select this option if you have a PXE ROM image that you would
|
|
like to add to your ROM.
|
|
|
|
config BUILD_IPXE
|
|
bool "Build and add an iPXE ROM"
|
|
help
|
|
Select this option to fetch and build a ROM from the iPXE project.
|
|
|
|
endchoice
|
|
|
|
choice
|
|
prompt "iPXE version"
|
|
default IPXE_STABLE
|
|
depends on BUILD_IPXE
|
|
|
|
config IPXE_STABLE
|
|
bool "2016.2"
|
|
help
|
|
iPXE uses a rolling release with no stable version, for
|
|
reproducibility, use the last commit of a given month as the
|
|
'stable' version.
|
|
This is iPXE from the end of February, 2016.
|
|
|
|
config IPXE_MASTER
|
|
bool "master"
|
|
help
|
|
Newest iPXE version.
|
|
|
|
endchoice
|
|
|
|
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"
|
|
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
|
|
endif
|