blob: d425d51ca5af32a5e0750e698d67fffaaf9dd5a6 [file] [log] [blame]
Martin Roth888a98b2016-03-13 13:00:43 -06001##
2## This file is part of the coreboot project.
3##
4## This program is free software; you can redistribute it and/or modify
5## it under the terms of the GNU General Public License as published by
6## the Free Software Foundation; version 2 of the License.
7##
8## This program is distributed in the hope that it will be useful,
9## but WITHOUT ANY WARRANTY; without even the implied warranty of
10## MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
11## GNU General Public License for more details.
12##
13
14choice
15 prompt "Add a PXE ROM"
16 default PXE_ROM
17 depends on ARCH_X86
18 optional
19
20config PXE_ROM
21 bool "Add an existing PXE ROM image"
22 help
23 Select this option if you have a PXE ROM image that you would
24 like to add to your ROM.
25
26config BUILD_IPXE
27 bool "Build and add an iPXE ROM"
28 help
29 Select this option to fetch and build a ROM from the iPXE project.
30
31endchoice
32
33choice
34 prompt "iPXE version"
35 default IPXE_STABLE
36 depends on BUILD_IPXE
37
38config IPXE_STABLE
39 bool "2016.2"
40 help
41 iPXE uses a rolling release with no stable version, for
42 reproducibility, use the last commit of a given month as the
43 'stable' version.
44 This is iPXE from the end of February, 2016.
45
46config IPXE_MASTER
47 bool "master"
48 help
49 Newest iPXE version.
50
51endchoice
52
53config PXE_ROM_FILE
54 string "PXE ROM filename"
55 depends on PXE_ROM
56 default "pxe.rom"
57 help
58 The path and filename of the file to use as PXE ROM.
59
60config PXE_ROM_ID
61 string "network card PCI IDs"
62 depends on PXE_ROM || BUILD_IPXE
63 default "10ec,8168"
64 help
65 The comma-separated PCI vendor and device ID that would associate
66 your PXE ROM to your network card.
67
68 Example: 10ec,8168
69
70 In the above example 10ec is the PCI vendor ID (in hex, but without
71 the "0x" prefix) and 8168 specifies the PCI device ID of the
72 network card (also in hex, without "0x" prefix).
73
74 Under GNU/Linux you can run `lspci -nn` to list the IDs of your PCI devices.