if TARGET_T4240RDB
config SYS_BOARD
default "t4rdb"
config SYS_VENDOR
default "freescale"
config SYS_CONFIG_NAME
default "T4240RDB"
endif