mx25pdk: Allow booting a device tree kernel
authorFabio Estevam <fabio.estevam@freescale.com>
Tue, 11 Dec 2012 11:48:46 +0000 (11:48 +0000)
committerStefano Babic <sbabic@denx.de>
Thu, 13 Dec 2012 08:23:59 +0000 (09:23 +0100)
commitb874df74afc986b069738b180763f2464ac3f5f4
tree0201f5eb4d4e61912787bb37eea859b9c9b3efbd
parent8965112bbf393d7b63703c07c28cc43a3fa58f8f
mx25pdk: Allow booting a device tree kernel

Select CONFIG_OF_LIBFDT so that a device tree kernel can be launched.

Signed-off-by: Fabio Estevam <fabio.estevam@freescale.com>
include/configs/mx25pdk.h