Awesome GitHub RepositoriesUART Debugging Interfaces

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

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

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

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.