2 repositorios
Awesome GitHub RepositoriesEarly Boot UART Outputs
Initializes the RP1 UART and skips the RP1 reset to make early boot messages available on the header for debugging.
Distinct from UART Debugging Interfaces: Distinct from UART Debugging Interfaces: focuses on early boot-stage UART output before the kernel starts, not kernel-state variable display.
Explore 2 awesome GitHub repositories matching operating systems & systems programming · Early Boot UART Outputs. Refine with filters or upvote what's useful.
Awesome Early Boot UART Outputs GitHub Repositories
Encuentra los mejores repositorios con IA.Buscaremos los repositorios que mejor coincidan usando IA.
- sel4/sel4
seL4/seL4
5,583Ver en 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 - raspberrypi/documentation
raspberrypi/documentation
5,575Ver en GitHubThis is the official documentation repository for Raspberry Pi hardware and software. It covers the complete range of Raspberry Pi single-board computers, the RP-series microcontrollers, and the Raspberry Pi operating system. The documentation provides reference material for setting up devices, configuring hardware, and using the system for tasks including AI inference, camera and video capture, embedded development, and remote access. The documentation covers the full boot chain from the GPU firmware and EEPROM bootloader through to kernel loading, with detailed guidance on boot configuratio
Documents initializing the RP1 UART for early boot message output on the header.
Pythonasciidocdocumentationraspberry-pi
