acrn-kernel/arch/blackfin/mach-bf518/boards/Kconfig

choice
	prompt "System type"
	default BFIN518F_EZBRD
	help
	  Select your board!

config BFIN518F_EZBRD
	bool "BF518F-EZBRD"
	help
	  BF518-EZBRD board support.

config BFIN518F_TCM
       bool "Bluetechnix TCM-BF518"
       help
         Bluetechnix TCM-BF518 board support.

endchoice