FreeRTOS is now available for VORAGO microcontrollers.
Watch the video, then get the application note - http://www.voragotech.com/sites/default/files/AN1203_Vorago_FreeRTOS_port.pdf