#@TYPE: Machine
#@NAME: NXP T4240RDB
#@SOC: t4240
#@DESCRIPTION: Machine configuration for NXP QorIQ T4240 Reference
#              Design Board with ppce6500 core in 32b mode
#@MAINTAINER: Chunrong Guo <chunrong.guo@nxp.com>

require conf/machine/include/e6500.inc

SOC_FAMILY = "t4:t4240"

UBOOT_CONFIG ??= "nor"
UBOOT_CONFIG[nor] = "T4240RDB_config"

HV_CFG_M = "t4240rdb"

KERNEL_DEVICETREE ?= "t4240rdb.dtb"
KERNEL_DEFCONFIG ?= "corenet64_smp_defconfig"

JFFS2_ERASEBLOCK = "0x10000"

EXTRA_IMAGEDEPENDS += "fm-ucode rcw"

USE_VT ?= "0"