tree 0201f5eb4d4e61912787bb37eea859b9c9b3efbd
parent 39ffa1fcbfa4e48770ada9bd53fe55dadf20ec89
author Fabio Estevam <fabio.estevam@freescale.com> 1355226526 +0000
committer Stefano Babic <sbabic@denx.de> 1355387039 +0100

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>