1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
  | if TARGET_T1040RDB || TARGET_T1040D4RDB || \ 
 |      TARGET_T1042RDB || TARGET_T1042D4RDB || \ 
 |      TARGET_T1042RDB_PI 
 |    
 |  config SYS_BOARD 
 |      default "t104xrdb" 
 |    
 |  config SYS_VENDOR 
 |      default "freescale" 
 |    
 |  config SYS_CONFIG_NAME 
 |      default "T104xRDB" 
 |    
 |  source "board/freescale/common/Kconfig" 
 |    
 |  endif 
 |  
  |