RTOS candidates for Cortex M3/M4 duino boards.

First of all, thanks for doing this. I don't have a due board, but i often benefit from work like yours.

I've been considering using qp for a project, but as a single threaded async finite state machine. You indicate you are less enthusiastic about state machines. Could you elaborate. It may save me some development time. I am an experienced windows real time software developer, but have very little experience with micro controllers.

Thanks doug