| # CONFIG_COLLECT_TIMESTAMPS is not set | |
| CONFIG_VENDOR_PCENGINES=y | |
| CONFIG_BOARD_PCENGINES_APU5=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_PXE_SERIAL_CONSOLE is not set | |
| CONFIG_MEMTEST_SECONDARY_PAYLOAD=y |