
Procurei aqui e não achei nenhuma referência, então segue abaixo o assunto.
Estava tentando uasr o RTOS do CCS, e me deparei com algums probelmas que até então estava difícil de resolver, pois muita coisa do RTOS "enlatado" do CCS estava dando m... , principalmente quando o pic trabalha entre 40mhz e 48mhz.
Deixemos isso de lado, o fato é, fui procurar outras soluções. Pensei no FreeRTOS e comecei a "googlear" , verbo este que todos nós conjugamos muito, e então de repente, bingo, acho este excelente RTOS.
http://wiki.pic24.ru/doku.php/en/osa/ref/download/intro
http://www.pic24.ru/doku.php/en/osa/articles/pk2_osa_piano
http://wiki.pic24.ru/doku.php/en/osa/ref/introduction/intro#compilers
Espero que seja tão bom para quem precisar, como foi para minha aplicação.
Pode ser usado com o HI-TECH, Microchip C, mikroC PRO, e CCS.
E o melhor de tudo, é FREE.
Ivan