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 est un système d'exploitation temps réel pour microcontrôleurs, conçu pour gérer la planification des tâches et l'allocation des ressources sur divers modules matériels. Il fonctionne comme une plateforme embarquée et un noyau modulaire pour déployer des logiciels temps réel sur différentes architectures de puces. Le système inclut des piles de protocoles intégrées pour permettre une transmission de données sécurisée et la connectivité entre les terminaux IoT et les plateformes cloud. Le projet couvre la gestion des tâches temps réel, le déploiement de logiciels embarqués et l'administration de microcontrôleurs. Il utilise une architecture de micro-noyau modulaire et une couche d'abstraction matérielle pour découpler le noyau des chipsets spécifiques.

RIOT est un système d'exploitation temps réel conçu pour les microcontrôleurs aux ressources limitées. Il fournit un noyau pour gérer les périphériques matériels, la mémoire et le multitâche sur les appareils embarqués, avec une couche d'abstraction matérielle de microcontrôleur pour unifier l'accès au matériel à travers différents chipsets. Le système emploie un ordonnanceur de tâches préemptif sans tick avec exécution basée sur la priorité pour maximiser l'efficacité énergétique sur le matériel alimenté par batterie. Il inclut également un framework de sécurité embarqué composé d'API cryptographiques et de protocoles de transport sécurisés pour faciliter les mises à jour de firmware authentifiées par voie hertzienne (OTA). Le projet implémente en outre une pile réseau modulaire prenant en charge IPv6, IPv4 et Ethernet pour la connectivité des appareils. Il couvre le contrôle du matériel périphérique pour les capteurs et actionneurs, la gestion flexible de la mémoire de l'appareil, et l'exécution de binaires et de scripts portables via des runtimes spécialisés.

FreeRTOS-Kernel est un noyau de système d'exploitation temps réel pour microcontrôleurs. Il fournit un environnement multitâche via un planificateur de tâches basé sur les priorités, un gestionnaire de mémoire embarqué et un framework de communication inter-processus pour garantir que les tâches critiques respectent leurs délais. Le noyau inclut un moteur de minuterie logicielle pour exécuter des fonctions à des intervalles prédéfinis ou après des délais définis. Il prend en charge un modèle minimal de tâches concurrentes et l'exécution légère de co-routines pour les systèmes avec des ressources mémoire limitées. Le projet couvre une large surface de gestion des ressources embarquées, incluant la communication inter-tâches via des files d'attente et des groupes d'événements, ainsi que la planification déterministe des ressources système. L'intégration du projet est gérée via l'intégration du système de build en utilisant des outils de récupération ou des sous-modules de contrôle de version.

NuttX est un système d'exploitation temps réel (RTOS) conforme POSIX conçu pour les environnements embarqués aux ressources limitées. Il fonctionne comme un OS de microcontrôleur évolutif qui fournit un environnement de type Unix pour gérer le matériel et exécuter des applications à travers des architectures allant de 8 bits à 64 bits. Le système assure une haute portabilité logicielle en implémentant un noyau qui suit les standards POSIX et ANSI. Cela permet aux développeurs de créer des applications embarquées portables en utilisant des appels API standardisés à travers diverses architectures matérielles. Le projet inclut une architecture de noyau modulaire et une couche d'abstraction matérielle pour découpler le système des périphériques de puce spécifiques. Il utilise une planification préemptive basée sur la priorité pour des réponses déterministes et fournit des outils pour simuler des environnements matériels pour tester le firmware sans cartes physiques.