#@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

MACHINEOVERRIDES =. "p4080:"

UBOOT_CONFIG ??= "sdcard spi nor"
UBOOT_CONFIG[nor] = "P4080DS_config,,u-boot-with-dtb.bin"
UBOOT_CONFIG[sdcard] = "P4080DS_SDCARD_config,,u-boot.pbl"
UBOOT_CONFIG[spi] = "P4080DS_SPIFLASH_config,,u-boot.pbl"

HV_CFG_M = "p4080ds"

KERNEL_DEVICETREE ?= "fsl/p4080ds.dtb"
KERNEL_DEFCONFIG ?= "corenet32_smp_defconfig"

JFFS2_ERASEBLOCK = "0x10000"

EXTRA_IMAGEDEPENDS += "fm-ucode rcw"

USE_VT ?= "0"
