RTOS

Olá amigos.
Eu gostaria de saber se algum de vocês já utilizaram o FreeRTOS para os microcontroladores PIC?
Será que alguém tem alguma dica para me dar, pois estou desenvolvendo uma aplicação e estou querendo utilizar o mesmo.
Eu gostaria de saber se algum de vocês já utilizaram o FreeRTOS para os microcontroladores PIC?
Será que alguém tem alguma dica para me dar, pois estou desenvolvendo uma aplicação e estou querendo utilizar o mesmo.