| Piotr Król | 1c54985 | 2018-09-14 11:00:39 +0200 | [diff] [blame] | 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 |
| 6 | CONFIG_NO_GFX_INIT=y |
| 7 | CONFIG_SEABIOS_ADD_SERCON_PORT_FILE=y |
| 8 | CONFIG_PXE=y |
| 9 | CONFIG_BUILD_IPXE=y |
| 10 | CONFIG_PXE_ROM_ID="8086,1539" |
| Patrick Georgi | 06fb738 | 2023-11-24 14:27:50 +0100 | [diff] [blame] | 11 | # CONFIG_IPXE_SERIAL_CONSOLE is not set |
| Piotr Król | 1c54985 | 2018-09-14 11:00:39 +0200 | [diff] [blame] | 12 | CONFIG_MEMTEST_SECONDARY_PAYLOAD=y |