4 रिपॉजिटरी
Awesome GitHub RepositoriesUART Debugging Interfaces
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.
Awesome UART Debugging Interfaces GitHub Repositories
AI के साथ बेहतरीन रिपॉजिटरी खोजें।हम AI का उपयोग करके सबसे सटीक रिपॉजिटरी खोजेंगे।
- s-matyukevich/raspberry-pi-os
s-matyukevich/raspberry-pi-os
13,854GitHub पर देखें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.
Carmarmv8assembler - sel4/sel4
seL4/seL4
5,583GitHub पर देखें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.
Cmicrokernelossel4 - raspberrypi/documentation
raspberrypi/documentation
5,575GitHub पर देखें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.
Pythonasciidocdocumentationraspberry-pi - asahilinux/m1n1
AsahiLinux/m1n1
4,114GitHub पर देखेंm1n1, ARM64-आधारित Apple Silicon हार्डवेयर के लिए एक लो-लेवल बूटलोडर है। यह बाहरी कर्नल्स और गैर-नेटिव ऑपरेटिंग सिस्टम को लोड करने के लिए एक फर्मवेयर टूल और प्रयोग वातावरण के रूप में कार्य करता है। प्रोजेक्ट कर्नल्स, डिवाइस ट्री और रैमडिस्क युक्त कॉन्कैटिनेटेड बाइनरी पेलोड के निष्पादन को सक्षम बनाता है। यह फर्मवेयर प्रयोग और Apple Silicon चिप्स पर कस्टम कर्नल्स की तैनाती के लिए एक प्लेटफॉर्म प्रदान करता है। सिस्टम लो-लेवल हार्डवेयर एब्स्ट्रैक्शन को कवर करता है, जिसमें मेमोरी-मैप्ड रजिस्टर एक्सेस, डिवाइस ट्री ट्रांसमिशन और स्टेज-आधारित बूटलोडिंग शामिल है। इसमें सिस्टम लॉग और ट्रबलशूटिंग के लिए UART-आधारित सीरियल डिबगिंग भी शामिल है।
Provides debug logging and command acceptance via the UART serial port for low-level troubleshooting.
Python
