Hola
Mira desconozco si CCS tiene un compilador para dsPIC, pero los compiladores de CCS incluyen un RTOS y en este sitio hay un hilo desarrollado por cierto loco que trata el tema
Sistemas Operativos en PIC, también puedes encontrar el contenido completo en
uControl uControl (el autor lo está trasladando hacia este sitio y lo está revisando y mejorando contínuamente), te sugiero que comicenes por allí a ver que resulados obtienes, de todos modos hay varias opciones de RTOS en el mercado aunque para PIC es difícil encontrarlas, en el caso de los dsPIC debe ser más complicado porque estos dispositivos son relativamente "recientes".