# SPDX-License-Identifier: Apache-2.0

config BOARD
	default "iotdk"
	depends on BOARD_IOTDK