3 dépôts
Mechanisms for transitioning execution and managing boundaries between kernel mode and user mode.
Distinct from User-Space Application Support: Candidates focus on testing or splitting, not the active mechanism of entering/manipulating user space for execution.
Explore 3 awesome GitHub repositories matching operating systems & systems programming · Kernel-User Space Interfacing. Refine with filters or upvote what's useful.
Asterinas est un noyau de système d'exploitation sécurisé en mémoire conçu pour prévenir les data races et la corruption mémoire. Il fonctionne comme un noyau compatible Linux-ABI, permettant l'exécution de binaires Linux existants et de charges de travail conteneurisées tout en offrant un modèle de distribution de système d'exploitation déclaratif. Le projet se distingue en agissant comme un hôte de conteneurs pour machines virtuelles et un OS invité pour le confidential computing, lui permettant de s'exécuter au sein d'environnements d'exécution isolés matériellement comme Intel TDX. Il implémente une base de calcul de confiance minimale en isolant les opérations dangereuses de bas niveau et sépare les mécanismes fondamentaux du noyau des implémentations de politiques spécifiques. Le système couvre un large éventail de capacités, incluant la gestion de la mémoire physique et virtuelle, le multi-processing symétrique et l'abstraction matérielle pour diverses architectures CPU. Il inclut également le support pour les runtimes de conteneurs sécurisés, un ensemble complet de primitives réseau et socket, ainsi qu'une toolchain spécialisée pour la compilation et l'émulation du noyau. Le projet prend en charge le déploiement multi-architecture sur les plateformes x86-64, RISC-V 64 et LoongArch 64.
Implements the mechanisms for transitioning execution and managing boundaries between kernel and user modes.
FRRouting est une suite de routage internet comprenant une collection de démons qui implémentent les protocoles de routage IPv4 et IPv6 standard. Elle fournit un moteur de protocole pour BGP, un virtualiseur de réseau EVPN et un gestionnaire d'étiquettes MPLS, aux côtés d'une interface de routage gRPC pour la configuration programmatique et la récupération de données en utilisant des modèles YANG. La suite se distingue par son extensibilité via un framework de script Lua qui exécute des scripts personnalisés au niveau de hooks internes pour modifier le comportement de routage. Elle dispose également d'un modèle de configuration transactionnel qui utilise des bases de données candidates et actives séparées pour assurer des commits atomiques et des rollbacks des paramètres système. Le projet couvre un large éventail de protocoles de passerelle intérieurs et extérieurs, incluant OSPF, IS-IS, EIGRP et RIP. Il prend en charge l'ingénierie de trafic avancée via Segment Routing et SRv6, la virtualisation réseau via l'isolation VRF et les L3VPN, ainsi qu'une surveillance complète via SNMP et le protocole de surveillance BGP (BMP). Le logiciel peut être déployé via la compilation à partir de la source, des chaînes d'outils multi-architectures ou des images de conteneur Docker pré-construites.
Uses system sockets and Netlink to keep the software routing table aligned with the operating system forwarding base.
embedded-notes is a collection of technical study guides and development notes focused on embedded Linux, Linux kernel internals, and C programming. It serves as a reference for embedded systems development and a preparation resource for technical interviews in the field. The project provides detailed documentation on writing device drivers, managing virtual memory, and understanding kernel internals. It also includes guides on IoT network protocols, such as MQTT and TCP/IP, and outlines the architectural details of chip architectures and hardware peripherals. The material covers a broad sur
Documents the mechanisms and boundaries used to transition execution between kernel mode and user mode.