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 este un sistem de operare în timp real pentru microcontrolere, conceput pentru a gestiona planificarea sarcinilor și alocarea resurselor pe diverse module hardware. Acesta funcționează ca o platformă embedded și un kernel modular pentru implementarea de software în timp real pe diferite arhitecturi de cipuri. Sistemul include stive de protocoale integrate pentru a permite transmisia securizată a datelor și conectivitatea între dispozitivele IoT terminale și platformele cloud. Proiectul acoperă gestionarea sarcinilor în timp real, implementarea de software embedded și administrarea microcontrolerelor. Utilizează o arhitectură de microkernel modular și un strat de abstractizare hardware pentru a decupla kernel-ul de seturi specifice de cipuri.

RIOT este un sistem de operare în timp real conceput pentru microcontrolere cu resurse limitate. Oferă un kernel pentru gestionarea perifericelor hardware, memoriei și multitasking-ului pe dispozitive embedded, având un strat de abstractizare hardware pentru microcontrolere pentru a unifica accesul hardware între diferite chipset-uri. Sistemul utilizează un scheduler de sarcini preemptiv, fără tick-uri, cu execuție bazată pe prioritate pentru a maximiza eficiența energetică pe hardware-ul alimentat de baterii. Include, de asemenea, un framework de securitate embedded format din API-uri criptografice și protocoale de transport securizate pentru a facilita actualizările de firmware autentificate over-the-air. Proiectul implementează în continuare un stack de rețea modular care suportă IPv6, IPv4 și Ethernet pentru conectivitatea dispozitivelor. Acoperă controlul hardware-ului periferic pentru senzori și actuatoare, gestionarea flexibilă a memoriei dispozitivului și execuția de binare și scripturi portabile prin runtime-uri specializate.

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 este un sistem de operare în timp real (RTOS) compatibil POSIX, conceput pentru medii embedded cu resurse limitate. Acesta funcționează ca un sistem de operare scalabil pentru microcontrollere care oferă un mediu de tip Unix pentru gestionarea hardware-ului și rularea aplicațiilor pe arhitecturi variind de la 8-biți la 64-biți. Sistemul asigură o portabilitate ridicată a software-ului prin implementarea unui kernel care respectă standardele POSIX și ANSI. Acest lucru permite dezvoltatorilor să creeze aplicații embedded portabile folosind apeluri API standardizate pe diverse arhitecturi hardware. Proiectul include o arhitectură de kernel modulară și un strat de abstractizare hardware pentru a decupla sistemul de perifericele specifice ale cipului. Utilizează programarea preemptivă bazată pe prioritate pentru răspunsuri deterministe și oferă instrumente pentru a simula medii hardware pentru testarea firmware-ului fără plăci fizice.