config TARGET_T1040QDS
bool "Support T1040QDS"
+ select ARCH_T1040
select PHYS_64BIT
-config TARGET_T104XRDB
- bool "Support T104xRDB"
+config TARGET_T1040RDB
+ bool "Support T1040RDB"
+ select ARCH_T1040
+ select SUPPORT_SPL
+ select PHYS_64BIT
+
+config TARGET_T1042RDB
+ bool "Support T1042RDB"
select SUPPORT_SPL
select PHYS_64BIT
config ARCH_T1024
bool
+config ARCH_T1040
+ bool
+
source "board/freescale/b4860qds/Kconfig"
source "board/freescale/bsc9131rdb/Kconfig"
source "board/freescale/bsc9132qds/Kconfig"