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 是一个用于 ARM64 架构 Apple Silicon 硬件的底层引导加载程序。它作为一个固件工具和实验环境，用于加载外部内核和非原生操作系统。 该项目支持执行包含内核、设备树和内存盘（ramdisk）的拼接二进制负载。它为固件实验和在 Apple Silicon 芯片上部署自定义内核提供了一个平台。 该系统涵盖了底层硬件抽象，包括内存映射寄存器访问、设备树传输和分阶段引导加载。它还包括用于系统日志和故障排除的基于 UART 的串行调试功能。