FreeRTOS on ARM11?

Hi! 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. Best regards,
Dennis

FreeRTOS on ARM11?

I’m sure you will find some ARM11 ports around the web, it is a topic that comes up occasionally, but I consider this to be slightly out of the FreeRTOS target market so there are no official demos. That said, I would be very interested if you were to create a port to the RaspberryPI, and can create a forum in the FreeRTOS Interactive site for you if you do. Regards.

FreeRTOS on ARM11?

James Walmsley put together a port here: https://github.com/jameswalmsley/RaspberryPi-FreeRTOS See: http://interactive.freertos.org/entries/22353267-raspberry-pi-port-almost-ready I’m working on building a BSP for FreeRTOS’ IO library so we can have full use of all the hardware.  I haven’t seen this done yet for the Pi.