Alternativas para FreeRTOS Real Time Kernel

Kernel em tempo real gratuito que facilita a comunicação entre tarefas e a temporização de microcontroladores