if TARGET_GE_BX50V3 config IMX_CONFIG default "board/ge/bx50v3/bx50v3.cfg" config SYS_BOARD default "bx50v3" config SYS_VENDOR default "ge" config SYS_SOC default "mx6" config SYS_CONFIG_NAME default "ge_bx50v3" source "board/ge/common/Kconfig" endif