config TARGET_T1023RDB
bool "Support T1023RDB"
+ select ARCH_T1023
select SUPPORT_SPL
select PHYS_64BIT
config ARCH_QEMU_E500
bool
+config ARCH_T1023
+ bool
+
source "board/freescale/b4860qds/Kconfig"
source "board/freescale/bsc9131rdb/Kconfig"
source "board/freescale/bsc9132qds/Kconfig"