consider Prex

[Gravis]

I was perusing wikipedia and found Prex, an appealing operating system that will work with minimal resources. modifications for a manycore processor would need to be made but it seems very doable. other processes could be loaded onto other cores but to communicate with them you would need something like a standard ISR which in effect would be the OS for that core. if you do all the program's IO through the ISR then you can keep track of what the program is doing. that should have it's own dinky library to keep that simple.

i haven't seen anything in the "OS4E" thread in over a year, so perhaps this could give someone the head start they need.

just some thoughts.