awesome-embeddednhivp
NOUVEAUUne liste organisée de ressources en programmation embarquée couvrant les plateformes MCU, le développement bare-metal, les RTOS, le noyau Linux et les drivers, les chaînes d'outils et le matériel d'apprentissage.
Découvrez des projets open source de qualité, soumettez des projets anonymement, puis revendiquez et éditez votre propre projet.
Un peu de curiosité. Un monde de code ouvert.
THE FIRST COLLECTIONUne liste organisée de ressources en programmation embarquée couvrant les plateformes MCU, le développement bare-metal, les RTOS, le noyau Linux et les drivers, les chaînes d'outils et le matériel d'apprentissage.
Takibi est un langage de systèmes de recherche et un noyau monolithique compatible Linux-ABI, conçu pour transformer les pannes d'exécution du noyau en erreurs de compilation grâce aux types de raffinement et à la propriété affine.