Awesome GitHub RepositoriesTest Kernel Booting

Atmosphere is a custom firmware for the Nintendo Switch that provides core system components for loading custom kernels, managing modified operating systems, and redirecting hardware storage. It functions as a customized operating system designed to enable deep system modification and functional extensions. The project distinguishes itself through a system module injector and an application patching engine that allow for the loading of custom binary modules and patches to add features to the console. It also includes a virtual storage manager that redirects internal hardware writes to a virtu

XNU es un kernel de sistema operativo híbrido que combina una arquitectura de microkernel con una capa monolítica para servicios del sistema. Proporciona una base para el desarrollo de sistemas operativos, incorporando interfaces de llamadas al sistema estandarizadas, un framework de controladores de dispositivos modular y seguridad de control de acceso obligatorio. La arquitectura cuenta con un microkernel basado en Mach y una capa monolítica basada en BSD. Utiliza un bus de comunicación entre procesos de paso de mensajes para el intercambio seguro de datos entre componentes aislados del kernel y procesos de espacio de usuario, junto con un framework de controladores orientado a objetos que desacopla la lógica específica del hardware del kernel central. El sistema incluye un motor de control de acceso obligatorio para la aplicación de seguridad basada en políticas y un depurador de kernel remoto para inspeccionar la memoria en vivo y analizar los pánicos del sistema. Las capacidades adicionales cubren la programación de multiprocesadores, coordinación de recursos de hardware y un sistema de compilación para generar imágenes arrancables a través de diferentes arquitecturas. El proyecto proporciona herramientas para la gestión de compilación del kernel, generación de símbolos de depuración y un framework para la verificación de llamadas al sistema.

Arpl is a bootloader manager and custom kernel loader for network attached storage devices. It provides a network boot environment to automate the fetching, flashing, and installation of modified operating systems and kernels onto hardware storage. The project distinguishes itself through a remote management suite that exposes bootloader controls via a web browser, secure shell connection, or local terminal. It utilizes RSS feeds to automate the retrieval of the latest system images and version metadata for online updates. The system handles hardware boot configuration by mapping network int

ToaruOS is an independent operating system built from the ground up without external dependencies. It features a custom x86-64 kernel that supports symmetric multiprocessing and paging, paired with a graphical windowing system and a dedicated bytecode interpreter for application logic. The system distinguishes itself by integrating an embedded Python environment for system-level development and a custom graphical interface that handles its own window composition and text rendering. It includes a compatibility layer for third-party application support and a system package manager for handling

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.

Este proyecto es un manual técnico integral para instalar macOS en hardware x86 que no es de Apple utilizando el bootloader OpenCore. Sirve como una guía de configuración para emular hardware de Apple y parchear el firmware del sistema para lograr la compatibilidad del sistema operativo en PCs. La documentación proporciona instrucciones detalladas para la emulación de hardware SMBIOS, incluyendo la generación de identificadores de sistema y perfiles de modelo. Cubre la aplicación de parches de tablas ACPI para habilitar la gestión de energía nativa y la modificación de servicios de tiempo de ejecución UEFI para resolver problemas de mapa de memoria y protección contra escritura. El recurso detalla además la compatibilidad de hardware para componentes de red, gráficos y audio, así como la gestión de extensiones de kernel. Incluye orientación sobre la configuración del bootloader, la creación de instaladores arrancables y el uso de registros detallados (verbose) y kits de depuración para solucionar pánicos de kernel.

Brunch es un framework de arranque y capa de adaptación de hardware diseñado para ejecutar ChromeOS en PCs x86_64 no nativos. Utiliza un bootloader EFI personalizado e inyección de kernel para permitir que el sistema operativo funcione en procesadores Intel y AMD no soportados originalmente por las imágenes oficiales. El framework se distingue por transformar imágenes de recuperación oficiales en versiones arrancables genéricas mediante el uso de kernels personalizados y arranque de partición EFI. Permite la importación de claves de seguridad en el firmware del sistema para admitir el arranque seguro (secure boot) y proporciona herramientas para alternar parches de hardware y flags de características para tarjetas inalámbricas, dispositivos de audio y pantallas táctiles específicas. El proyecto proporciona capacidades para desplegar ChromeOS como un sistema principal de arranque único, como una instalación de arranque dual en una partición de disco dedicada, o como un medio USB arrancable. Incluye una interfaz de instalación gráfica y un modo de depuración detallado para diagnosticar fallos de arranque.

m1n1 es un bootloader de bajo nivel para hardware Apple Silicon basado en ARM64. Sirve como herramienta de firmware y entorno de experimentación para cargar kernels externos y sistemas operativos no nativos. El proyecto permite la ejecución de payloads binarios concatenados que contienen kernels, device trees y ramdisks. Proporciona una plataforma para la experimentación con firmware y el despliegue de kernels personalizados en chips Apple Silicon. El sistema cubre la abstracción de hardware de bajo nivel, incluyendo el acceso a registros mapeados en memoria, la transmisión de device trees y el bootloading por etapas. También incluye depuración serie basada en UART para registros del sistema y resolución de problemas.

LiteX es una suite de desarrollo de SoC FPGA y un framework constructor de SoC utilizado para diseñar sistemas en chip (SoC) de forma programática. Proporciona una cadena de herramientas de descripción de hardware que utiliza un framework scriptable para definir diseños de hardware y automatizar la generación de código en lenguajes de descripción de hardware (HDL). El proyecto se distingue por orquestar múltiples cadenas de herramientas de proveedores y de código abierto para sintetizar lógica digital y generar bitstreams desplegables. Soporta la integración de lógica en múltiples lenguajes, permitiendo combinar diferentes lenguajes de descripción de hardware en un solo proyecto. El framework cubre una amplia gama de capacidades, incluyendo integración de núcleos de procesador, gestión de interconexiones de bus jerárquicas y la implementación de periféricos de hardware como PCIe, Ethernet y USB. También proporciona herramientas para la simulación de lógica digital, arranque de runtime bare-metal para BIOS y firmware, y la construcción de sistemas capaces de arrancar un kernel de Linux completo. La suite incluye utilidades para la carga de diseños de hardware y depuración de host-bridge para inspeccionar mapas de memoria y estados de registros desde una computadora anfitriona.

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.