Awesome GitHub RepositoriesMicrocontroller Kernels

Tock is a secure embedded operating system and microcontroller kernel designed to isolate untrusted applications and drivers. It functions as a memory-safe process isolator that uses a combination of hardware memory protection and language-level type safety to execute mutually distrustful applications on bare metal. The system distinguishes itself through a hardware abstraction layer that decouples high-level components from specific microcontroller implementations using standardized traits. It further employs a virtualization layer to allow multiple independent software components to share a

TencentOS-tiny es un sistema operativo en tiempo real para microcontroladores, diseñado para gestionar la programación de tareas y la asignación de recursos en diversos módulos de hardware. Funciona como una plataforma embebida y un kernel modular para desplegar software en tiempo real en diferentes arquitecturas de chips. El sistema incluye pilas de protocolos integradas para permitir la transmisión segura de datos y la conectividad entre dispositivos IoT terminales y plataformas en la nube. El proyecto abarca la gestión de tareas en tiempo real, el despliegue de software embebido y la administración de microcontroladores. Utiliza una arquitectura de microkernel modular y una capa de abstracción de hardware para desacoplar el kernel de conjuntos de chips específicos.

RIOT es un sistema operativo en tiempo real diseñado para microcontroladores con recursos limitados. Proporciona un kernel para gestionar periféricos de hardware, memoria y multitarea en dispositivos embebidos, con una capa de abstracción de hardware de microcontrolador para unificar el acceso al hardware en diferentes chipsets. El sistema emplea un planificador de tareas preventivo sin ticks (tickless) con ejecución basada en prioridades para maximizar la eficiencia energética en hardware alimentado por baterías. También incluye un framework de seguridad embebido que consiste en APIs criptográficas y protocolos de transporte seguros para facilitar actualizaciones de firmware over-the-air autenticadas. El proyecto implementa además un stack de red modular que admite IPv6, IPv4 y Ethernet para la conectividad de dispositivos. Cubre el control de hardware periférico para sensores y actuadores, gestión flexible de memoria de dispositivos y la ejecución de binarios y scripts portátiles a través de entornos de ejecución especializados.

FreeRTOS-Kernel is a real-time operating system kernel for microcontrollers. It provides a multitasking environment through a priority-based task scheduler, an embedded memory manager, and an inter-process communication framework to ensure time-critical tasks meet their deadlines. The kernel includes a software timer engine for executing functions at predefined intervals or after set delays. It supports a minimal model of concurrent tasks and lightweight co-routine execution for systems with limited memory resources. The project covers a broad surface of embedded resource management, includi

NuttX es un sistema operativo en tiempo real compatible con POSIX diseñado para entornos embebidos con recursos limitados. Funciona como un SO de microcontrolador escalable que proporciona un entorno similar a Unix para gestionar hardware y ejecutar aplicaciones en arquitecturas que van desde 8 bits hasta 64 bits. El sistema garantiza una alta portabilidad del software al implementar un kernel que sigue los estándares POSIX y ANSI. Esto permite a los desarrolladores crear aplicaciones embebidas portátiles utilizando llamadas a la API estandarizadas en diversas arquitecturas de hardware. El proyecto incluye una arquitectura de kernel modular y una capa de abstracción de hardware para desacoplar el sistema de periféricos de chip específicos. Utiliza programación preventiva basada en prioridad para respuestas deterministas y proporciona herramientas para simular entornos de hardware para probar firmware sin placas físicas.