4 repository-uri
Adjusts the hardware clock independently of the system clock and synchronizes it with the system time on demand.
Distinct from Hardware Clock Interfaces: Distinct from Hardware Clock Interfaces: focuses on adjusting and synchronizing the hardware clock, not just reading or interacting with it.
Explore 4 awesome GitHub repositories matching software engineering & architecture · Hardware Clock Adjustments. Refine with filters or upvote what's useful.
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
Configures clock generators and PLLs to set operating frequencies for SoC components.
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
Adjusts the hardware clock independently of the system clock and synchronizes it on demand.
stlink este un set de instrumente pentru flashing-ul ARM Cortex-M, gestionarea firmware-ului și operațiuni de server de debug, cu suport specific pentru microcontrolerele STM32. Oferă un programator flash ARM Cortex-M pentru scrierea fișierelor binare și hex, un logger de trace ITM pentru date de instrumentare în timp real și un server de debug SWD/JTAG. Proiectul include o interfață grafică pentru gestionarea firmware-ului MCU și exportul memoriei, precum și un server la distanță care permite debuggerelor externe să controleze execuția și să inspecteze registrele pe hardware-ul țintă. Setul de instrumente acoperă gestionarea memoriei microcontrolerului prin ștergerea flash-ului și configurarea octeților de opțiune, precum și observabilitatea sistemului prin semihosting și înregistrarea trace-ului de execuție. De asemenea, oferă utilitare pentru extragerea informațiilor despre cip și resetarea dispozitivelor.
Allows adjusting the communication frequency for JTAG or SWD interfaces to maintain stable connections.
This project provides educational resources and technical guides for microcontroller firmware development. It focuses on writing low-level C code that runs directly on hardware without an underlying operating system, covering the fundamentals of hardware registers, memory mapping, and system clocks. The guides detail the creation of hardware abstraction layers to wrap raw memory-mapped registers into structured interfaces and provide walkthroughs for integrating TCP/IP stacks and HTTP servers into bare-metal environments. It also outlines the implementation of embedded systems build pipelines
Guides the configuration of internal oscillators and bus prescalers to set CPU and peripheral operating frequencies.