Hi Magnus and all,

Should i do a "mx31pdk_nand_config" instead of the regular "mx31pdk_config" to get the nand boot working on the PDK board. I can make that out from the lowlevel_init.S code, but i am not completely sure though.

Thanks.