Arduino + Free-RTOS are supported.

We now support Arduino+Free-RTOS. Please take advantage of it.
Thank you

OSS-EC Site