blob: 17db794bcf9240e2288af566f42b9967ae73e0c7 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
# 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
|