4 repositorios
Formatted output functions for displaying kernel-state variables and registers over a serial connection.
Distinct from Kernel Observability Programs: A concrete implementation of a debugging print function via UART, unlike general observability programs.
Explore 4 awesome GitHub repositories matching operating systems & systems programming · UART Debugging Interfaces. Refine with filters or upvote what's useful.
This project is a bare-metal operating system developed for ARM64 architecture. It serves as a low-level implementation of kernel engineering, focusing on the fundamental construction of an OS from the hardware level up. The system is distinguished by its comprehensive approach to ARM64 processor control, featuring a red-black tree task scheduler and a hierarchical page table system for virtual memory management. It implements a sophisticated privilege model that handles transitions between kernel and user modes, ensuring process isolation through address space splitting and exception level m
Provides a formatted print function via UART to display register values and variables for kernel troubleshooting.
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
Implements a pluggable driver framework for early UART console output during kernel boot.
This 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 activating UART debug logging in the bootloader and GPU firmware.
m1n1 es un bootloader de bajo nivel para hardware Apple Silicon basado en ARM64. Sirve como herramienta de firmware y entorno de experimentación para cargar kernels externos y sistemas operativos no nativos. El proyecto permite la ejecución de payloads binarios concatenados que contienen kernels, device trees y ramdisks. Proporciona una plataforma para la experimentación con firmware y el despliegue de kernels personalizados en chips Apple Silicon. El sistema cubre la abstracción de hardware de bajo nivel, incluyendo el acceso a registros mapeados en memoria, la transmisión de device trees y el bootloading por etapas. También incluye depuración serie basada en UART para registros del sistema y resolución de problemas.
Provides debug logging and command acceptance via the UART serial port for low-level troubleshooting.