|
# CONFIG_COLLECT_TIMESTAMPS is not set
|
|
CONFIG_VENDOR_PCENGINES=y
|
|
CONFIG_BOARD_PCENGINES_APU2=y
|
|
CONFIG_APU2_PINMUX_UART_C=y
|
|
CONFIG_APU2_PINMUX_UART_D=y
|
|
CONFIG_NO_GFX_INIT=y
|
|
CONFIG_PXE=y
|
|
CONFIG_BUILD_IPXE=y
|
|
CONFIG_PXE_ROM_ID="8086,157b"
|
|
CONFIG_MEMTEST_SECONDARY_PAYLOAD=y
|