Is there a port available for ARM1176JZFS? I am asking because of a possible diploma thesis where a FreeRTOS should run on a Raspberry Pi (http://www.raspberrypi.org/). I did not yet find any valuable information on such a possible project.
So, is it possible to run FreeRTOS on this hardware?
Thanks for any single hint.