06fb738497
This follows commit 238ff1e9c which did the rename across the tree
except here. Since Kconfig is going to become more strict about unknown
symbols, fix it.
Change-Id: Ic31b8ae353ec07e8b8adab46b604365be4be44d9
Signed-off-by: Patrick Georgi <patrick@coreboot.org>
Reviewed-on: https://review.coreboot.org/c/coreboot/+/79252
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
Reviewed-by: Felix Singer <service+coreboot-gerrit@felixsinger.de>
Reviewed-by: Arthur Heymans <arthur@aheymans.xyz>
12 lines
348 B
Text
12 lines
348 B
Text
# CONFIG_COLLECT_TIMESTAMPS is not set
|
|
CONFIG_VENDOR_PCENGINES=y
|
|
CONFIG_BOARD_PCENGINES_APU4=y
|
|
CONFIG_APU2_PINMUX_UART_C=y
|
|
CONFIG_APU2_PINMUX_UART_D=y
|
|
CONFIG_NO_GFX_INIT=y
|
|
CONFIG_SEABIOS_ADD_SERCON_PORT_FILE=y
|
|
CONFIG_PXE=y
|
|
CONFIG_BUILD_IPXE=y
|
|
CONFIG_PXE_ROM_ID="8086,1539"
|
|
# CONFIG_IPXE_SERIAL_CONSOLE is not set
|
|
CONFIG_MEMTEST_SECONDARY_PAYLOAD=y
|