1 # CONFIG_COLLECT_TIMESTAMPS is not set
2 CONFIG_VENDOR_PCENGINES=y
3 CONFIG_BOARD_PCENGINES_APU4=y
4 CONFIG_APU2_PINMUX_UART_C=y
5 CONFIG_APU2_PINMUX_UART_D=y
7 CONFIG_SEABIOS_ADD_SERCON_PORT_FILE=y
10 CONFIG_PXE_ROM_ID="8086,1539"
11 # CONFIG_PXE_SERIAL_CONSOLE is not set
12 CONFIG_MEMTEST_SECONDARY_PAYLOAD=y