[arm-gnu] Does the ARM/Linux version support imx53 CPU

[Marcus Nissemark]

>> Today we are using the CodeSourcery Tools (ARM GNU/Linux) for building 
>> our Linux solutions for mainly an Atmel At91 based CPU, but we've used 
>> it for an imx35 as well. Can we also use the same tool for the imx53?

>Yes, you can use Sourcery CodeBench Lite for ARM GNU/Linux to build a Linux kernel and userspace applications for an i.MX53 (Coretx-A8).

I've heard that the floating point support is different for the imx53 than the imx35, and with that you likely need another set of vfp floating point libraries, or do the ones that exist as an add-on package to CodeBench work? I.e. is there another floating point flag needed as well?

/Marcus