p4080ds: add machine config

Signed-off-by: Chunrong Guo <chunrong.guo@nxp.com>
Signed-off-by: Otavio Salvador <otavio@ossystems.com.br>

diff --git a/conf/machine/p4080ds.conf b/conf/machine/p4080ds.conf
new file mode 100644 (file)
index 0000000..84eb4ce
--- /dev/null
+++ b/conf/machine/p4080ds.conf
@@ -0,0 +1,27 @@
+#@TYPE: Machine
+#@NAME: NXP P4080DS
+#@SOC: p4080
+#@DESCRIPTION: Machine configuration for NXP QorIQ P4080 Development
+#              System with ppce500mc core
+#@MAINTAINER: Chunrong Guo <chunrong.guo@nxp.com>
+
+require conf/machine/include/e500mc.inc
+
+SOC_FAMILY = "p4080"
+
+UBOOT_CONFIG ??= "secure-boot sdcard spi nor"
+UBOOT_CONFIG[nor] = "P4080DS_config"
+UBOOT_CONFIG[secure-boot] = "P4080DS_SECURE_BOOT_config"
+UBOOT_CONFIG[sdcard] = "P4080DS_SDCARD_config,,u-boot.pbl"
+UBOOT_CONFIG[spi] = "P4080DS_SPIFLASH_config,,u-boot.pbl"
+
+HV_CFG_M = "p4080ds"
+
+KERNEL_DEVICETREE ?= "p4080ds.dtb"
+KERNEL_DEFCONFIG ?= "corenet32_smp_defconfig"
+
+JFFS2_ERASEBLOCK = "0x10000"
+
+EXTRA_IMAGEDEPENDS += "fm-ucode rcw"
+
+USE_VT ?= "0"