Awesome GitHub RepositoriesKernel-User Space Interfacing

Asterinas es un kernel de sistema operativo con seguridad de memoria diseñado para prevenir condiciones de carrera (data races) y corrupción de memoria. Funciona como un kernel compatible con la ABI de Linux, permitiendo la ejecución de binarios de Linux existentes y cargas de trabajo en contenedores mientras proporciona un modelo de distribución de sistema operativo declarativo. El proyecto se distingue por actuar como host de contenedores de máquinas virtuales y como SO invitado de computación confidencial, permitiendo su ejecución dentro de entornos de ejecución confiables (TEE) aislados por hardware como Intel TDX. Implementa una base de computación confiable mínima al aislar operaciones inseguras de bajo nivel y separa los mecanismos centrales del kernel de las implementaciones de políticas específicas. El sistema cubre una amplia gama de capacidades, incluyendo gestión de memoria física y virtual, multiprocesamiento simétrico y abstracción de hardware para varias arquitecturas de CPU. También incluye soporte para runtimes de contenedores seguros, un conjunto completo de primitivas de red y sockets, y una cadena de herramientas especializada para la compilación y emulación del kernel. El proyecto admite el despliegue en múltiples arquitecturas en plataformas x86-64, RISC-V 64 y LoongArch 64.

FRRouting es una suite de enrutamiento de internet que comprende una colección de daemons que implementan protocolos de enrutamiento IPv4 e IPv6 estándar. Proporciona un motor de protocolo para BGP, un virtualizador de red EVPN y un gestor de etiquetas MPLS, junto con una interfaz de enrutamiento gRPC para la configuración programática y la recuperación de datos utilizando modelos YANG. La suite se distingue por su extensibilidad a través de un framework de scripting Lua que ejecuta scripts personalizados en hooks internos para modificar el comportamiento de enrutamiento. También cuenta con un modelo de configuración transaccional que utiliza bases de datos candidatas y en ejecución separadas para garantizar commits atómicos y reversiones de la configuración del sistema. El proyecto cubre una amplia gama de protocolos de puerta de enlace interior y exterior, incluyendo OSPF, IS-IS, EIGRP y RIP. Admite ingeniería de tráfico avanzada a través de Segment Routing y SRv6, virtualización de red a través de aislamiento VRF y L3VPNs, y monitoreo integral a través de SNMP y BGP Monitoring Protocol. El software se puede desplegar mediante compilación de fuente, cadenas de herramientas de arquitectura cruzada o imágenes de contenedor Docker preconstruidas.

embedded-notes es una colección de guías de estudio técnicas y notas de desarrollo centradas en Linux embebido, los internos del kernel de Linux y programación en C. Sirve como referencia para el desarrollo de sistemas embebidos y un recurso de preparación para entrevistas técnicas en el campo. El proyecto proporciona documentación detallada sobre la escritura de drivers de dispositivos, gestión de memoria virtual y comprensión de los internos del kernel. También incluye guías sobre protocolos de red IoT, como MQTT y TCP/IP, y describe los detalles arquitectónicos de arquitecturas de chips y periféricos de hardware. El material cubre una amplia superficie de programación de sistemas, incluyendo gestión manual de memoria, gestión del ciclo de vida de procesos y la implementación de conceptos de sistemas operativos en tiempo real (RTOS). También incluye referencias para herramientas de bajo nivel, como compilación cruzada para ARM, análisis binario y scripting de shell para la automatización de compilaciones.

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