config BOARD_LOWRISC_NEXYS4DDR
	bool "nexys4ddr"