1if TARGET_T1040RDB || TARGET_T1040D4RDB || TARGET_T1042RDB || TARGET_T1042RDB_PI
2
3config SYS_BOARD
4	default "t104xrdb"
5
6config SYS_VENDOR
7	default "freescale"
8
9config SYS_CONFIG_NAME
10	default "T104xRDB"
11
12endif
13