# SPDX-License-Identifier: GPL-2.0
choice
	prompt "System type"
	default BFIN538_EZKIT
	help
	  Select your board!

config BFIN538_EZKIT
	bool "BF538-EZKIT"
	help
	  BF538-EZKIT-LITE board support.

endchoice