if ARCH_DAVINCI choice prompt "DaVinci board select" optional config TARGET_IPAM390 bool "IPAM390 board" select SUPPORT_SPL config TARGET_DA850EVM bool "DA850 EVM board" select SUPPORT_SPL config TARGET_EA20 bool "EA20 board" config TARGET_OMAPL138_LCDK bool "OMAPL138 LCDK" select SUPPORT_SPL config TARGET_CALIMAIN bool "Calimain board" config TARGET_LEGOEV3 bool "LEGO MINDSTORMS EV3" endchoice config SYS_SOC default "davinci" source "board/Barix/ipam390/Kconfig" source "board/davinci/da8xxevm/Kconfig" source "board/davinci/ea20/Kconfig" source "board/omicron/calimain/Kconfig" source "board/lego/ev3/Kconfig" endif