config BOARD_ZEDBOARD_PULPINO
	bool "Zedboard pulpino target"
	depends on SOC_RISCV32_PULPINO