1if TARGET_T4240RDB 2 3config SYS_BOARD 4 string 5 default "t4rdb" 6 7config SYS_VENDOR 8 string 9 default "freescale" 10 11config SYS_CONFIG_NAME 12 string 13 default "T4240RDB" 14 15endif 16