#@TYPE: Machine
#@NAME: Freescale T4240RDB
#@SOC: t4240
#@DESCRIPTION: Machine configuration for running T4240RDB in 64-bit mode
#@MAINTAINER: Chunrong Guo <B40290@freescale.com>

require conf/machine/include/e6500-64b.inc

SOC_FAMILY = "t4:t4240"
UBOOT_MACHINES ?= "T4240RDB"
KERNEL_DEVICETREE ?= "t4240rdb.dtb t4240rdb-usdpaa.dtb \
    t4240rdb-usdpaa-shared-interfaces.dtb \
"
KERNEL_DEFCONFIG ?= "${S}/arch/powerpc/configs/corenet64_fmanv3h_smp_defconfig"

JFFS2_ERASEBLOCK = "0x10000"