--- /dev/null
+#@TYPE: Machine
+#@NAME: NXP T2080RDB
+#@SOC: t2080
+#@DESCRIPTION: Machine configuration for Freescale QorIQ T2080 Reference
+# Design Board with ppce6500 core in 64b mode
+#@MAINTAINER: Chunrong Guo <chunrong.guo@nxp.com>
+
+require conf/machine/include/e6500-64b.inc
+
+MACHINEOVERRIDES =. "t2:t2080:"
+
+UBOOT_CONFIG ??= "sdcard spi nand srio-pcie-boot secure-boot nor"
+UBOOT_CONFIG[nor] = "T2080RDB_config"
+UBOOT_CONFIG[sdcard] = "T2080RDB_SDCARD_config,,u-boot-with-spl-pbl.bin"
+UBOOT_CONFIG[spi] = "T2080RDB_SPIFLASH_config,,u-boot-with-spl-pbl.bin"
+UBOOT_CONFIG[nand] = "T2080RDB_NAND_config,,u-boot-with-spl-pbl.bin"
+UBOOT_CONFIG[srio-pcie-boot] = "T2080RDB_SRIO_PCIE_BOOT_config"
+UBOOT_CONFIG[secure-boot] = "T2080RDB_SECURE_BOOT_config"
+
+HV_CFG_M = "t2080rdb"
+
+KERNEL_DEVICETREE ?= "t2080rdb.dtb"
+KERNEL_DEFCONFIG ?= "corenet64_smp_defconfig"
+
+JFFS2_ERASEBLOCK = "0x10000"
+
+EXTRA_IMAGEDEPENDS += "fm-ucode rcw"
+
+USE_VT ?= "0"