Awesome GitHub RepositoriesKernel-User Space Interfacing

Asterinas is a memory-safe operating system kernel designed to prevent data races and memory corruption. It functions as a Linux-ABI compatible kernel, enabling the execution of existing Linux binaries and container workloads while providing a declarative operating system distribution model. The project distinguishes itself by acting as a virtual machine container host and a confidential computing guest OS, allowing it to run within hardware-isolated Trusted Execution Environments such as Intel TDX. It implements a minimal trusted computing base by isolating unsafe low-level operations and se

FRRouting este o suită de rutare internet care cuprinde o colecție de daemoni ce implementează protocoale de rutare standard IPv4 și IPv6. Oferă un motor de protocol pentru BGP, un virtualizator de rețea EVPN și un manager de etichete MPLS, alături de o interfață de rutare gRPC pentru configurare programatică și preluarea datelor folosind modele YANG. Suita se distinge prin extensibilitatea sa printr-un framework de scripting Lua care execută scripturi personalizate la hook-uri interne pentru a modifica comportamentul de rutare. De asemenea, dispune de un model de configurare tranzacțional care utilizează baze de date separate pentru „candidate” și „running” pentru a asigura commit-uri atomice și rollback-uri ale setărilor de sistem. Proiectul acoperă o gamă largă de protocoale gateway interioare și exterioare, inclusiv OSPF, IS-IS, EIGRP și RIP. Suportă ingineria avansată a traficului prin Segment Routing și SRv6, virtualizarea rețelei prin izolarea VRF și L3VPN-uri, și monitorizarea cuprinzătoare prin SNMP și BGP Monitoring Protocol. Software-ul poate fi implementat prin compilare din sursă, toolchain-uri cross-architecture sau imagini de container Docker pre-construite.

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

Karabiner is a system-level keyboard remapper and input modifier for macOS. It functions as a kernel-level interceptor that modifies raw hardware events before they reach the operating system, utilizing a virtual hardware device to inject synthesized keyboard and mouse actions. The project distinguishes itself as a context-aware input manager, applying modification rules dynamically based on the active application, connected hardware, or current input source. It serves as a keyboard macro engine capable of automating multi-key shortcuts and conditional behaviors. Its broader capabilities inc

This project is a macOS keyboard remapping utility that intercepts and transforms hardware input events to customize key mappings, mouse behavior, and system automation. It utilizes a kernel-level input interceptor to modify or block raw hardware signals before they reach the operating system, paired with a state-aware rule engine that processes signals through conditional logic based on the active application or hardware. The system includes a human interface device emulator to inject synthesized keyboard and mouse events into macOS and a keyboard macro system for executing shell commands, l