RTOS para pic 16F

Alguém aqui ja fez ou implementou algum RTOS para PIC 16F?
Estou programando um micro Kernel, esta quase pronto, mas preciso de algumas ideias e conceitos.
Estou programando um micro Kernel, esta quase pronto, mas preciso de algumas ideias e conceitos.