if BOARD_BASIC_MINUTEIA

config BOARD
        default basic_minuteia

endif # BOARD_BASIC_MINUTEIA