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

require e6500.inc
require conf/machine/include/soc-family.inc

SOC_FAMILY = "t4240"
UBOOT_MACHINES ?= "T4240RDB"
KERNEL_DEVICETREE ?= "t4240rdb.dtb t4240rdb-usdpaa.dtb t4240rdb-usdpaa-shared-interfaces.dtb"
KERNEL_DEFCONFIG ?= "${S}/arch/powerpc/configs/85xx/e6500rev2_defconfig"

JFFS2_ERASEBLOCK = "0x10000"

SERIAL_CONSOLES = "115200;ttyS0 115200;ttyS1 115200;ttyEHV0"
SERIAL_CONSOLES_CHECK = "${SERIAL_CONSOLES}"
USE_VT = "0"
BUILD_64BIT_KERNEL = "1"