mb/dell: OptiPlex 3050 Micro port (Intel KabyLake)
[coreboot.git] / configs / config.pcengines_apu1
bloba3e34b8df04dbcfe9f6298624500d89f7da1f4bc
1 # CONFIG_COLLECT_TIMESTAMPS is not set
2 CONFIG_VENDOR_PCENGINES=y
3 CONFIG_BOARD_PCENGINES_APU1=y
4 CONFIG_NO_GFX_INIT=y
5 CONFIG_SEABIOS_ADD_SERCON_PORT_FILE=y
6 CONFIG_PXE=y
7 CONFIG_BUILD_IPXE=y
8 CONFIG_PXE_ROM_ID="10ec,8168"
9 # CONFIG_IPXE_SERIAL_CONSOLE is not set
10 CONFIG_MEMTEST_SECONDARY_PAYLOAD=y