1# SPDX-License-Identifier: GPL-2.0 2choice 3 prompt "System type" 4 default BFIN609_EZKIT 5 help 6 Select your board! 7 8config BFIN609_EZKIT 9 bool "BF609-EZKIT" 10 help 11 BFIN609-EZKIT board support. 12 13endchoice 14