i.MX31 Support?

Has anyone worked on a port to the i.MX31 processor?  I have been searching on google and haven’t had any luck in locating a valid port.  If anyone has an ARM11 port that would probably be an Ok place for me to start.

i.MX31 Support?

This is a very powerful processor. Generally FreeRTOS is used on smaller cores so you might find it hard to find an existing example.