--- /dev/null
+#@TYPE: Machine
+#@NAME: NXP P5040DS-64B
+#@SOC: p5040
+#@DESCRIPTION: Machine configuration for Freescale QorIQ P5040 Development
+# System with ppce5500 core in 64b mode
+#@MAINTAINER: Chunrong Guo <chunrong.guo@nxp.com>
+
+require conf/machine/include/e5500-64b.inc
+
+MACHINEOVERRIDES =. "p5040:"
+
+UBOOT_CONFIG ??= "nand secure-boot sdcard spi nor"
+UBOOT_CONFIG[nor] = "P5040DS_config"
+UBOOT_CONFIG[nand] = "P5040DS_NAND_config,,u-boot.pbl"
+UBOOT_CONFIG[secure-boot] = "P5040DS_SECURE_BOOT_config"
+UBOOT_CONFIG[sdcard] = "P5040DS_SDCARD_config,,u-boot.pbl"
+UBOOT_CONFIG[spi] = "P5040DS_SPIFLASH_config,,u-boot.pbl"
+
+HV_CFG_M = "p5040ds"
+
+KERNEL_DEVICETREE ?= "p5040ds.dtb"
+KERNEL_DEFCONFIG ?= "corenet64_smp_defconfig"
+
+JFFS2_ERASEBLOCK = "0x10000"
+
+EXTRA_IMAGEDEPENDS += "fm-ucode rcw"
+
+USE_VT ?= "0"