FreeRTOS Port to PowerPC 405/GP (I think!)

Does anyone know of a currently available port of FreeRTOS for the PowerPC? I don’t expect something to work ‘out of the box’ but an inital port will give me a kickstart. Cheers people.

FreeRTOS Port to PowerPC 405/GP (I think!)

There have been a few people floating around the PPC arena, but nothing concrete that I know of.

FreeRTOS Port to PowerPC 405/GP (I think!)

Are there any news concerning this? Has someone already worked on it?