Realtime OS - ChibiOS/RT port for Due

Hardware Arduino Due
2

fat16lib did a porting of some RTOS to the Arduino Due and other platforms as well:

http://arduino.cc/forum/index.php/topic,137345.0.html