--- /dev/null
+#@TYPE: Machine
+#@NAME: NXP P5040DS
+#@SOC: p5040
+#@DESCRIPTION: Machine configuration for NXP QorIQ P5040 Development
+# System with ppce5500 core in 32b mode
+#@MAINTAINER: Chunrong Guo <chunrong.guo@nxp.com>
+
+require conf/machine/include/e5500.inc
+
+SOC_FAMILY = "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 ?= "corenet32_smp_defconfig"
+
+JFFS2_ERASEBLOCK = "0x10000"
+
+EXTRA_IMAGEDEPENDS += "fm-ucode rcw"
+
+USE_VT ?= "0"