1if TARGET_T4160RDB || TARGET_T4240RDB 2 3config SYS_BOARD 4 default "t4rdb" 5 6config SYS_VENDOR 7 default "freescale" 8 9config SYS_CONFIG_NAME 10 default "T4240RDB" 11 12source "board/freescale/common/Kconfig" 13 14endif 15