This is a board with t1042rdb u-boot/rcw/dtb, the others
are the same wtih t1040rdb
Signed-off-by: Ting Liu <ting.liu@freescale.com>
--- /dev/null
+#@TYPE: Machine
+#@NAME: Freescale T1042RDB
+#@SOC: t1042
+#@DESCRIPTION: Machine configuration for running T1042RDB in 64-bit mode
+#@MAINTAINER: Chunrong Guo <B40290@freescale.com>
+
+require conf/machine/include/e5500-64b.inc
+
+SOC_FAMILY = "t1:t1042"
+UBOOT_MACHINES ?= "T1042RDB_PI"
+KERNEL_DEVICETREE ?= "t1042rdb_pi.dtb"
+KERNEL_DEFCONFIG ?= "${S}/arch/powerpc/configs/t1040_64bit_smp_defconfig"
+
+JFFS2_ERASEBLOCK = "0x10000"
+
--- /dev/null
+#@TYPE: Machine
+#@NAME: Freescale T1042RDB
+#@SOC: t1042
+#@DESCRIPTION: Machine configuration for running T1042RDB in 32-bit mode
+#@MAINTAINER: Chunrong Guo <B40290@freescale.com>
+
+require conf/machine/include/e5500.inc
+
+SOC_FAMILY = "t1:t1042"
+UBOOT_MACHINES ?= "T1042RDB_PI"
+KERNEL_DEVICETREE ?= "t1042rdb_pi.dtb"
+KERNEL_DEFCONFIG ?= "${S}/arch/powerpc/configs/t1040_32bit_smp_defconfig"
+
+JFFS2_ERASEBLOCK = "0x10000"
+