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