ChibiOS/RT RTOS for Due

For a discussion this is pretty good. Arduino Forum
Seems like the AYEs are with ChibiOS