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