[U-Boot] [PATCH 3/3] iMX31: Add support to iMX31PDK board boots from NAND Flash

[Magnus Lilja]

> Yes, I confirmed with the schematics. There is a 32768kHz crystal connected to the PMIC that drives the MX31 clock.
>
> Regards,
>
> Fabio Estevam
>
>> I haven't tried my new patch on real hardware yet, but
>> I'll do that
>> tomorrow and post a patch (without the do_div() fix though,
>> perhaps
>> someone else can do that?).

Ok, the patches have been posted now. The first one is a quick
workaround for the div-problem, if someone has a better solution
please use that instead. The second one is my updated basic i.MX31 PDK
patch, now rebased and tested on hardware using a JTAG debugger to
load it.

Regards, Magnus