1# SPDX-License-Identifier: GPL-2.0 2choice 3 prompt "System type" 4 default BFIN518F_EZBRD 5 help 6 Select your board! 7 8config BFIN518F_EZBRD 9 bool "BF518F-EZBRD" 10 help 11 BF518-EZBRD board support. 12 13config BFIN518F_TCM 14 bool "Bluetechnix TCM-BF518" 15 help 16 Bluetechnix TCM-BF518 board support. 17 18endchoice 19