if TARGET_T4240QDS
config SYS_BOARD
default "t4qds"
config SYS_VENDOR
default "freescale"
config SYS_CONFIG_NAME
default "T4240QDS"
endif