Projet dédié au développement et au déploiement d'un système Linux embarqué pour les routeurs et hubs SMART-AMC. Il permet la gestion automatisée des partitions de démarrage, la mise à jour des logiciels embarqués via Git, et l'intégration de composants FPGA pour des fonctionnalités avancées. Utilisé dans des environnements industriels ou scientifiques nécessitant des solutions embarquées robustes et personnalisables.

Ce projet propose un cadre automatisé pour la vérification formelle de circuits matériels complexes. Il permet de vérifier des propriétés temporelles et de prouver des lemmes sur des architectures électroniques, notamment via des techniques de model-checking symbolique et de preuve automatique. L'objectif est d'améliorer la fiabilité et la robustesse des systèmes embarqués en détectant des erreurs de conception avant leur déploiement.

Outil open source permettant de générer des images système personnalisées pour Raspberry Pi et autres dispositifs embarqués. Il automatise la création d'images Linux optimisées, depuis une base minimale jusqu'à des versions complètes avec environnement graphique. Idéal pour les développeurs, éducateurs ou fabricants souhaitant déployer des systèmes sur mesure pour des projets matériels ou des solutions IoT.

Système de construction et de gestion pour serveurs dédiés à des dispositifs électroniques. Permet de configurer, initialiser et contrôler des équipements matériels via des classes dynamiques. Utilisé pour prototyper et déployer des solutions embarquées de manière incrémentale et automatisée. Facilite l'ajout de fonctionnalités et la gestion des attributs matériels.

Outil dédié à la gestion et au déploiement de configurations pour des systèmes embarqués comme les Raspberry Pi. Permet d'automatiser des tâches critiques comme l'arrêt, le redémarrage ou la vérification de services système. Utilisé principalement par des administrateurs ou développeurs pour maintenir des environnements embarqués.

Ce projet fournit une solution pour configurer et tester des cartes SD destinées à des modules électroniques spécifiques (HGTD). Il permet de préparer des images système adaptées, de valider leur fonctionnement et de faciliter les tests automatisés. Principalement utilisé dans un contexte de recherche ou de développement technique, il simplifie la gestion des environnements de test pour des équipements embarqués.

PicoZed est une plateforme dédiée au développement et à la gestion de projets embarqués, notamment pour les systèmes temps réel. Elle facilite l'automatisation industrielle et le prototypage rapide de circuits électroniques, offrant des outils adaptés aux besoins des ingénieurs et des développeurs en électronique.

Ce projet facilite la compilation et l'intégration de paquets logiciels dans des images de micrologiciels pour OpenWRT. Il automatise la création de firmwares personnalisés incluant des paquets spécifiques, adaptés à différentes architectures matérielles. Idéal pour les développeurs et administrateurs système souhaitant déployer des solutions embarquées optimisées.

Projet open source dédié à l'optimisation et au benchmarking de cœurs RISC-V sur des architectures FPGA. Il permet de mesurer les performances de processeurs embarqués, d'automatiser des tests matériels et de faciliter le développement de systèmes embarqués pour la recherche et l'industrie. Le projet inclut des outils pour compiler des logiciels, configurer des environnements de développement et exécuter des benchmarks comme CoreMark.

Outil permettant de générer des images système pour Alpine Linux. Il automatise la création de systèmes de fichiers personnalisés, adaptés aux besoins spécifiques des utilisateurs ou des environnements embarqués. Idéal pour les développeurs et administrateurs système cherchant à déployer rapidement des environnements Linux légers et optimisés.