if BOARD_ZEDBOARD_PULPINO

config BOARD
	default "zedboard_pulpino"

endif