- RTIC
- "Concurrencia en tiempo real basada en interrupciones"
- Gestión de recursos compartidos, envío de mensajes, programación de tareas, cola del temporizador, etc.
- Embassy
- Ejecutores
async con prioridades, temporizadores, redes, USB, etc.
- TockOS
- RTOS centrado en la seguridad con programación interrumpible y compatibilidad con la unidad de protección de memoria.
- Hubris
- RTOS de microkernel de Oxide Computer Company con protección de memoria, controladores sin privilegios, IPC, etc.
- Enlaces para FreeRTOS
- Algunas plataformas tienen implementaciones
std, como esp-idf.
- RTIC se puede considerar un RTOS o un framework de concurrencia.
- No incluye ningún HAL.
- Usa el NVIC (controlador de interrupción virtual anidado) Cortex‐M para la programación en lugar de un kernel propio.
- Solo Cortex-M.
- Google utiliza TockOS en el microcontrolador Haven para las llaves de seguridad Titan.
- FreeRTOS está escrito principalmente en C, pero hay enlaces de Rust para aplicaciones de escritura.