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

Kernel
1

nobody wrote on Tuesday, December 20, 2005:

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.

2

nobody wrote on Tuesday, December 20, 2005:

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

3

roodemol wrote on Thursday, January 10, 2008:

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