pues ando con las ganas de ponerle un rtos al pic, a un 18f4550 el FREERTOS que me han dicho es muy bueno, pero por lo que e logrado entender, parece que no tiene sentido porque una buena cantidad de recursos y buena parte del procesador se gastarian en el funcionamiento del propio RTOS, porque para empezar el PIC es de 8 bits, no tiene MMU, tampoco tiene DMA ni nada de eso, o sea seria poco practico...
que alguien me corriga si me equiboco en esto del RTOS y si en realidad si vale la pena en un PIC de 8 bits y para que aplicaciones seria util, saludos.