Best RTOS free !

Selected ports of Abassi, mAbassi and µAbassi are available as freeware.

Single-core ports can be downloaded here.

Multi-core ports are available here.