Here's a comparisons of RTOS possibilities for Arduino: http://www.out--there.com/blog/rtos-for-arduino/