diff options
| author | Martin Roth <martinroth@google.com> | 2016-03-13 13:00:43 -0600 |
|---|---|---|
| committer | Martin Roth <martinroth@google.com> | 2016-04-13 17:45:37 +0200 |
| commit | 888a98b872ed88f70b76103a95ef5d4140cfe2d7 (patch) | |
| tree | 71d617760eee3d8b02a9694d9166be4768a1a228 /src/device | |
| parent | 84129b8c6858c6d27e4e42f2b06a3b30e907e668 (diff) | |
payloads: add iPXE 'payload' build
We already have the ability to add a pxe rom to cbfs, but it needs to be
configured and built separately.
This moves the existing Kconfig options for PXE from device/Kconfig and
the top level Makefile.inc to payloads, and adds the option to download
and build iPXE as part of the coreboot build process.
This configures the serial output of iPXE to match coreboot's serial
port configuration by editing the .h files. iPXE doesn't give any
real build-time method of setting these configuration options.
Change-Id: I3d77b2c6845b7f5f644440f6910c3b4533a0d415
Signed-off-by: Martin Roth <martinroth@google.com>
Reviewed-on: https://review.coreboot.org/14085
Tested-by: build bot (Jenkins)
Reviewed-by: Patrick Georgi <pgeorgi@google.com>
Diffstat (limited to 'src/device')
| -rw-r--r-- | src/device/Kconfig | 30 |
1 files changed, 0 insertions, 30 deletions
diff --git a/src/device/Kconfig b/src/device/Kconfig index d156d369f2..b1f8dae743 100644 --- a/src/device/Kconfig +++ b/src/device/Kconfig @@ -351,36 +351,6 @@ config MBI_FILE help The path and filename of the file to use as VGA BIOS. -config PXE_ROM - bool "Add a PXE ROM image" - depends on ARCH_X86 - 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. - config SOFTWARE_I2C bool "Enable I2C controller emulation in software" default n |