blob: 5c8208d1fbf1b438e3e42aff1d29a41a6469f7c0 [file] [log] [blame]
if BOARD_ZEDBOARD_PULPINO
config BOARD
default "zedboard_pulpino"
endif