1 dépôt
Awesome GitHub RepositoriesPluggable UART Output Frameworks
Matches hardware UART devices from the device tree and calls per-driver putc functions for early console output.
Distinct from Early Boot UART Outputs: Distinct from Early Boot UART Outputs: focuses on a pluggable driver framework for UART output, not just enabling early boot messages.
Explore 1 awesome GitHub repository matching operating systems & systems programming · Pluggable UART Output Frameworks. Refine with filters or upvote what's useful.
Awesome Pluggable UART Output Frameworks GitHub Repositories
Trouvez les meilleurs dépôts grâce à l'IA.Nous recherchons les dépôts les plus pertinents grâce à l'IA.
- sel4/sel4
seL4/seL4
5,583Voir sur GitHubseL4 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
Implements a pluggable driver framework for early UART console output during kernel boot.
Cmicrokernelossel4
