http://dev.toppers.jp/trac_user/ev3pf/wiki/WhatsEV3RT#TOPPERSEV3RT%E3%81%A8%E3%81%AF
This RTOS is written in Japaneese, however Google Translate performs quite well with translation to English. Whole documentation and getting started instructions can be found there.