Awesome GitHub RepositoriesHardware Clock Interfaces

MicroPython is a lean implementation of Python 3 optimized to run on microcontrollers and other resource-constrained systems. It serves as a cross-platform embedded runtime and hardware abstraction layer, providing a firmware framework that maps high-level software commands to specific microcontroller registers across diverse processor architectures. The project functions as an embedded language interpreter that enables rapid prototyping on hardware through an interactive read-eval-print loop. It supports a wide range of target environments, including ARM, ESP32, STM32, RISC-V, and WebAssembl

This project is a software-defined radio platform designed to capture, analyze, and broadcast radio frequency signals across a wide spectrum. It provides a programmable hardware interface for transmitting and receiving radio signals, enabling spectrum analysis and wireless data monitoring. The system is distinguished by its ability to synchronize multiple devices using a shared external clock and hardware triggers to ensure precise timing and sample accuracy. It supports advanced signal routing, allowing ports to be mapped based on frequency or time to enable specialized operations like pseud

seL4 is a formally verified microkernel whose C implementation is backed by machine-checked mathematical proofs of correctness, confidentiality, integrity, and availability. It enforces strict isolation between processes through hardware-enforced address space separation and a capability-based access control system, where each process holds explicit rights only to the resources it has been granted. The kernel exposes hardware resources through a minimal API of system calls that manage threads, address spaces, and inter-process communication, with synchronous IPC supporting sender-identifying b

Webmin is a web-based administration interface for Unix systems. It provides a centralized console for managing the full range of server administration tasks — users and groups, software packages, storage, network configuration, system services, and security — all through a browser. Its modular architecture allows separate modules to handle databases (MySQL, MariaDB, PostgreSQL), web servers (Apache), DNS (BIND), email (Sendmail, Dovecot), file sharing (Samba, NFS), and more, with a unified access control system that restricts what each administrator can see and do. What sets Webmin apart is

stlink est un ensemble d'outils pour le flashage ARM Cortex-M, la gestion de firmware et les opérations de serveur de débogage, avec un support spécifique pour les microcontrôleurs STM32. Il fournit un programmeur flash ARM Cortex-M pour écrire des fichiers binaires et hexadécimaux, un enregistreur de trace ITM pour les données d'instrumentation en temps réel, et un serveur de débogage SWD/JTAG. Le projet inclut une interface utilisateur graphique pour gérer le firmware des MCU et exporter la mémoire, ainsi qu'un serveur distant qui permet aux débogueurs externes de contrôler l'exécution et d'inspecter les registres sur le matériel cible. L'ensemble d'outils couvre la gestion de la mémoire des microcontrôleurs via l'effacement flash et la configuration des octets d'option, ainsi que l'observabilité du système via le semihosting et l'enregistrement de trace d'exécution. Il fournit également des utilitaires pour l'extraction d'informations sur la puce et les réinitialisations d'appareils.

Ce projet fournit des ressources éducatives et des guides techniques pour le développement de firmware de microcontrôleurs. Il se concentre sur l'écriture de code C de bas niveau qui s'exécute directement sur le matériel sans système d'exploitation sous-jacent, couvrant les fondamentaux des registres matériels, du mappage mémoire et des horloges système. Les guides détaillent la création de couches d'abstraction matérielle (HAL) pour envelopper les registres mappés en mémoire brute dans des interfaces structurées et fournissent des tutoriels pour intégrer des piles TCP/IP et des serveurs HTTP dans des environnements bare-metal. Il décrit également l'implémentation de pipelines de construction de systèmes embarqués, de la compilation de binaires avec des scripts d'édition de liens au déploiement du firmware sur des cartes physiques. Le matériel couvre un large éventail de capacités embarquées, incluant l'intégration matérielle, la configuration des registres de périphériques et la mise en place d'une planification de tâches pilotée par interruptions. Il aborde également le flux de travail de débogage des microcontrôleurs via la communication UART et la redirection d'E/S standard. Le dépôt inclut des instructions pour gérer les chaînes de compilation croisée et automatiser les builds et le déploiement de firmware.