--- /dev/null
+#@TYPE: Machine
+#@NAME: Freescale T1040RDB
+#@SOC: t1040
+#@DESCRIPTION: Machine configuration for running T1040RDB in 64-bit mode
+#@MAINTAINER: Chunrong Guo <B40290@freescale.com>
+
+require e5500-64b.inc
+require conf/machine/include/soc-family.inc
+
+SOC_FAMILY = "t1040"
+UBOOT_MACHINES ?= "T1040RDB"
+KERNEL_DEVICETREE ?= "t1040rdb.dtb t1040rdb-usdpaa.dtb"
+KERNEL_DEFCONFIG ?= "${S}/arch/powerpc/configs/t1040_64bit_smp_defconfig"
+
+JFFS2_ERASEBLOCK = "0x10000"
+
+SERIAL_CONSOLES = "115200;ttyS0 115200;ttyS1 115200;ttyEHV0"
+SERIAL_CONSOLES_CHECK = "${SERIAL_CONSOLES}"
+USE_VT = "0"
--- /dev/null
+#@TYPE: Machine
+#@NAME: Freescale T1040RDB
+#@SOC: t1040
+#@DESCRIPTION: Machine configuration for running T1040RDB in 32-bit mode
+#@MAINTAINER: Chunrong Guo <B40290@freescale.com>
+
+require e5500.inc
+require conf/machine/include/soc-family.inc
+
+SOC_FAMILY = "t1040"
+UBOOT_MACHINES ?= "T1040RDB"
+KERNEL_DEVICETREE ?= "t1040rdb.dtb t1040rdb-usdpaa.dtb"
+KERNEL_DEFCONFIG ?= "${S}/arch/powerpc/configs/t1040_32bit_smp_defconfig"
+
+JFFS2_ERASEBLOCK = "0x10000"
+
+SERIAL_CONSOLES = "115200;ttyS0 115200;ttyS1 115200;ttyEHV0"
+SERIAL_CONSOLES_CHECK = "${SERIAL_CONSOLES}"
+USE_VT = "0"
--- /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 e5500-64b.inc
+require conf/machine/include/soc-family.inc
+
+SOC_FAMILY = "t1042"
+UBOOT_MACHINES ?= "T1042RDB_PI"
+KERNEL_DEVICETREE ?= "t1042rdb_pi.dtb"
+KERNEL_DEFCONFIG ?= "${S}/arch/powerpc/configs/t1040_64bit_smp_defconfig"
+
+JFFS2_ERASEBLOCK = "0x10000"
+
+SERIAL_CONSOLES = "115200;ttyS0 115200;ttyS1 115200;ttyEHV0"
+SERIAL_CONSOLES_CHECK = "${SERIAL_CONSOLES}"
+USE_VT = "0"
+
+PREFERRED_PROVIDER_virtual/xserver ?= "xserver-xorg"
+XSERVER = " \
+ xserver-xorg \
+ xf86-input-evdev \
+ xf86-input-mouse \
+ xf86-input-keyboard \
+ xf86-video-fbdev \
+"
+
--- /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 e5500.inc
+require conf/machine/include/soc-family.inc
+
+SOC_FAMILY = "t1042"
+UBOOT_MACHINES ?= "T1042RDB_PI"
+KERNEL_DEVICETREE ?= "t1042rdb_pi.dtb"
+KERNEL_DEFCONFIG ?= "${S}/arch/powerpc/configs/t1040_32bit_smp_defconfig"
+
+JFFS2_ERASEBLOCK = "0x10000"
+
+SERIAL_CONSOLES = "115200;ttyS0 115200;ttyS1 115200;ttyEHV0"
+SERIAL_CONSOLES_CHECK = "${SERIAL_CONSOLES}"
+USE_VT = "0"
+
+PREFERRED_PROVIDER_virtual/xserver ?= "xserver-xorg"
+XSERVER = " \
+ xserver-xorg \
+ xf86-input-evdev \
+ xf86-input-mouse \
+ xf86-input-keyboard \
+ xf86-video-fbdev \
+"
--- /dev/null
+#@TYPE: Machine
+#@NAME: Freescale T2080RDB
+#@SOC: t2080
+#@DESCRIPTION: Machine configuration for running T2080RDB in 64-bit mode
+#@MAINTAINER: Chunrong Guo <B40290@freescale.com>
+
+require e6500-64b.inc
+require conf/machine/include/soc-family.inc
+
+SOC_FAMILY = "t2080"
+# TODO: fix 32bit build of u-boot
+UBOOT_MACHINES ?= "T2080RDB T2080RDB_SDCARD T2080RDB_SPIFLASH T2080RDB_NAND T2080RDB_SRIO_PCIE_BOOT"
+KERNEL_DEVICETREE ?= "t2080rdb.dtb t2080rdb-usdpaa.dtb"
+KERNEL_DEFCONFIG ?= "${S}/arch/powerpc/configs/85xx/e6500rev2_defconfig"
+
+JFFS2_ERASEBLOCK = "0x10000"
+
+SERIAL_CONSOLES = "115200;ttyS0 115200;ttyS1 115200;ttyEHV0"
+SERIAL_CONSOLES_CHECK = "${SERIAL_CONSOLES}"
+USE_VT = "0"
--- /dev/null
+#@TYPE: Machine
+#@NAME: Freescale T2080RDB
+#@SOC: t2080
+#@DESCRIPTION: Machine configuration for running T2080RDB in 32-bit mode
+#@MAINTAINER: Chunrong Guo <B40290@freescale.com>
+
+require e6500.inc
+require conf/machine/include/soc-family.inc
+
+SOC_FAMILY = "t2080"
+UBOOT_MACHINES ?= "T2080RDB T2080RDB_SDCARD T2080RDB_SPIFLASH T2080RDB_NAND T2080RDB_SRIO_PCIE_BOOT"
+KERNEL_DEVICETREE ?= "t2080rdb.dtb t2080rdb-usdpaa.dtb"
+KERNEL_DEFCONFIG ?= "${S}/arch/powerpc/configs/85xx/e6500rev2_defconfig"
+
+JFFS2_ERASEBLOCK = "0x10000"
+
+SERIAL_CONSOLES = "115200;ttyS0 115200;ttyS1 115200;ttyEHV0"
+SERIAL_CONSOLES_CHECK = "${SERIAL_CONSOLES}"
+USE_VT = "0"
+BUILD_64BIT_KERNEL = "1"
--- /dev/null
+#@TYPE: Machine
+#@NAME: Freescale T4240RDB
+#@SOC: t4240
+#@DESCRIPTION: Machine configuration for running T4240RDB in 64-bit mode
+#@MAINTAINER: Chunrong Guo <B40290@freescale.com>
+
+require e6500-64b.inc
+require conf/machine/include/soc-family.inc
+
+SOC_FAMILY = "t4240"
+# TODO: fix 32bit build of u-boot
+UBOOT_MACHINES ?= "T4240RDB"
+KERNEL_DEVICETREE ?= "t4240rdb.dtb t4240rdb-usdpaa.dtb t4240rdb-usdpaa-shared-interfaces.dtb"
+KERNEL_DEFCONFIG ?= "${S}/arch/powerpc/configs/85xx/e6500rev2_defconfig"
+
+JFFS2_ERASEBLOCK = "0x10000"
+
+SERIAL_CONSOLES = "115200;ttyS0 115200;ttyS1 115200;ttyEHV0"
+SERIAL_CONSOLES_CHECK = "${SERIAL_CONSOLES}"
+USE_VT = "0"
--- /dev/null
+#@TYPE: Machine
+#@NAME: Freescale T4240RDB
+#@SOC: t4240
+#@DESCRIPTION: Machine configuration for running T4240RDB in 32-bit mode
+#@MAINTAINER: Chunrong Guo <B40290@freescale.com>
+
+require e6500.inc
+require conf/machine/include/soc-family.inc
+
+SOC_FAMILY = "t4240"
+UBOOT_MACHINES ?= "T4240RDB"
+KERNEL_DEVICETREE ?= "t4240rdb.dtb t4240rdb-usdpaa.dtb t4240rdb-usdpaa-shared-interfaces.dtb"
+KERNEL_DEFCONFIG ?= "${S}/arch/powerpc/configs/85xx/e6500rev2_defconfig"
+
+JFFS2_ERASEBLOCK = "0x10000"
+
+SERIAL_CONSOLES = "115200;ttyS0 115200;ttyS1 115200;ttyEHV0"
+SERIAL_CONSOLES_CHECK = "${SERIAL_CONSOLES}"
+USE_VT = "0"
+BUILD_64BIT_KERNEL = "1"