1# SPDX-License-Identifier: GPL-2.0 2choice 3 prompt "System type" 4 default BFIN548_EZKIT 5 help 6 Select your board! 7 8config BFIN548_EZKIT 9 bool "BF548-EZKIT" 10 help 11 BFIN548-EZKIT board support. 12 13config BFIN548_BLUETECHNIX_CM 14 bool "Bluetechnix CM-BF548" 15 depends on (BF548) 16 help 17 CM-BF548 support for DEV-Board. 18 19endchoice 20