3 dépôts
Mechanisms for deploying kernel header files and module maps to system directories for driver and extension development.
Distinct from Kernel and Module Distributions: Candidates focus on parsing headers or distribution of pre-compiled binaries, not the deployment of source headers.
Explore 3 awesome GitHub repositories matching operating systems & systems programming · Kernel Header Distribution. Refine with filters or upvote what's useful.
XNU est un noyau de système d'exploitation hybride qui combine une architecture de micro-noyau avec une couche monolithique pour les services système. Il fournit une base pour le développement de systèmes d'exploitation, incorporant des interfaces d'appel système standardisées, un framework de pilotes de périphériques modulaire et une sécurité de contrôle d'accès obligatoire. L'architecture dispose d'un micro-noyau basé sur Mach et d'une couche monolithique basée sur BSD. Il utilise un bus de communication inter-processus par passage de messages pour un échange de données sécurisé entre les composants isolés du noyau et les processus en espace utilisateur, aux côtés d'un framework de pilotes orienté objet qui découple la logique spécifique au matériel du noyau central. Le système inclut un moteur de contrôle d'accès obligatoire pour l'application de la sécurité pilotée par les politiques et un débogueur de noyau distant pour inspecter la mémoire en direct et analyser les paniques système. Des capacités supplémentaires couvrent la planification multi-processeur, la coordination des ressources matérielles et un système de construction pour générer des images amorçables à travers différentes architectures. Le projet fournit des outils pour la gestion de la construction du noyau, la génération de symboles de débogage et un framework pour la vérification des appels système.
Deploys kernel header files and module maps to system directories for user-level driver and extension development.
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 installing the function and structure definitions needed to compile kernel modules.
XNU is an operating system kernel designed to manage system hardware and process execution across different processor architectures. It utilizes a hybrid microkernel design that combines microkernel message passing with monolithic kernel performance by embedding critical subsystems into a single address space. The project implements a port-based asynchronous messaging system for communication between kernel tasks and userspace processes. It manages hardware interactions through a layered driver architecture and enforces system-wide security policies via a mandatory access control interface.
Deploys header files and module maps to system directories for use by extensions, drivers, and applications.