Awesome GitHub RepositoriesKernel Configurations

This repository contains the complete source code for a Unix-like operating system, including the monolithic kernel and base system utilities. It provides a BSD-derived system core and a full build toolchain required to compile a functional operating system for servers, desktops, or embedded devices. The system features a Linux binary compatibility layer that enables the execution and emulation of Linux binaries on a non-Linux platform. It also includes a modular kernel configuration process to tailor hardware support and system features during compilation. The project covers broad system ca

Kwrt is a custom router firmware generator and build system designed to compile personalized network hardware images and Linux-based router operating systems. It specifically serves as an OpenWrt firmware builder and image customizer, allowing for the creation of tailored operating systems based on specific software packages, kernel configurations, and hardware targets. The system produces firmware in multiple boot formats, including EFI, Legacy, virtual disk files, and root archives for containers. It enables the generation of specialized images for x86 or virtualized network hardware, provi

Bazzite is an immutable, atomic-image-based operating system designed for gaming performance and handheld hardware. It utilizes a read-only root filesystem and versioned images to provide atomic updates and instant system rollbacks, ensuring a stable core environment. The system is distinguished by its deep optimization for portable gaming devices, featuring dedicated handheld hardware management for CPU undervolting, fan control, and display refresh rate overclocking. It includes a specialized gaming mode that boots directly into a console-like interface with integrated input mapping and a t

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

Sparkle is a desktop application that provides a graphical interface for managing Clash and Mihomo proxy configurations, rules, and subscriptions. It replaces manual configuration file editing with a visual dashboard for controlling proxy settings, outbound interfaces, and Tun mode activation. The application distinguishes itself through deep integration with Sub-Store for organizing and updating proxy subscription links from a single panel, and by bundling both stable and preview Mihomo kernels that users can switch between without external downloads. It also includes a config rewrite overri

CppGuide is a curated collection of educational resources and practical guides focused on C++ server development, Linux kernel internals, concurrent programming, network protocols, and security exploitation. It provides structured learning paths for backend developers, covering everything from interview preparation to building high-performance network servers and understanding operating system fundamentals. The guide distinguishes itself by offering in-depth, hands-on tutorials that walk through real-world implementations, including building a Redis-like server from scratch, designing custom

ffmpeg-kit is a cross-platform SDK that wraps FFmpeg and FFprobe into native libraries for Android, iOS, macOS, Linux, and tvOS, enabling applications to execute media processing commands through platform-specific APIs. It provides a concurrent command executor that runs multiple FFmpeg operations simultaneously and collects results independently via thread-safe interfaces. The project includes a build system that compiles FFmpeg native libraries from source with configurable codec and library options for each target platform, and offers eight precompiled binary packages with different sets o

seL4 is a formally verified microkernel whose C implementation is backed by machine-checked mathematical proofs of correctness, confidentiality, integrity, and availability. It enforces strict isolation between processes through hardware-enforced address space separation and a capability-based access control system, where each process holds explicit rights only to the resources it has been granted. The kernel exposes hardware resources through a minimal API of system calls that manage threads, address spaces, and inter-process communication, with synchronous IPC supporting sender-identifying b

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

Argosbx ist ein automatisiertes Deployment-Skript und Multi-Protokoll-Proxy-Manager, der darauf ausgelegt ist, lokale Dienste mithilfe von Cloudflare Argo Tunnels für das Internet freizugeben. Es fungiert als Tool zur Installation und Konfiguration von Netzwerk-Tunneling-Kernels, einschließlich Sing-box und Xray, um sichere Proxys zu erstellen und Netzwerkeinschränkungen ohne offene Firewall-Ports zu umgehen. Das Projekt zeichnet sich durch einen Proxy-Abonnement-Generator aus, der formatierte und passwortgeschützte URLs für die Synchronisierung von Konfigurationen über Client-Geräte hinweg erstellt. Es verwaltet zudem diverse Tunneling-Protokolle wie VLESS, Hysteria2, TUIC und Shadowsocks-2022 sowohl in VPS- als auch in Docker-Umgebungen. Das System deckt breitere Funktionen für das Netzwerk-Traffic-Management ab, einschließlich IPv4- und IPv6-Outbound-Routing zur Maskierung von Serveridentitäten. Es enthält CLI-Dienstprogramme für das Proxy-Kernel-Management, die Wartung von Node-Lebenszyklen und container-bewusstes Deployment, um Netzwerkkonfigurationen basierend auf der Ausführungsumgebung anzupassen.

Dieses Projekt ist ein umfassendes technisches Handbuch für die Installation von macOS auf Nicht-Apple-x86-Hardware unter Verwendung des OpenCore-Bootloaders. Es dient als Konfigurationsleitfaden für die Emulation von Apple-Hardware und das Patchen von System-Firmware, um Betriebssystemkompatibilität auf PCs zu erreichen. Die Dokumentation bietet detaillierte Anweisungen für die SMBIOS-Hardware-Emulation, einschließlich der Generierung von Systemidentifikatoren und Modellprofilen. Sie deckt die Anwendung von ACPI-Tabellen-Patches zur Aktivierung nativer Energieverwaltung und die Modifikation von UEFI-Laufzeitdiensten zur Lösung von Problemen mit Speicherkarten und Schreibschutz ab. Die Ressource beschreibt zudem die Hardwarekompatibilität für Netzwerk-, Grafik- und Audiokomponenten sowie die Verwaltung von Kernel-Erweiterungen. Sie enthält Anleitungen zur Bootloader-Konfiguration, zur Erstellung bootfähiger Installationsmedien und zur Verwendung von ausführlichem Logging und Debug-Kits zur Fehlerbehebung bei Kernel-Panics.

embedded-notes ist eine Sammlung technischer Studienleitfäden und Entwicklungsnotizen mit Fokus auf Embedded Linux, Linux-Kernel-Internals und C-Programmierung. Sie dient als Referenz für die Entwicklung eingebetteter Systeme und als Vorbereitungsressource für technische Vorstellungsgespräche in diesem Bereich. Das Projekt bietet detaillierte Dokumentation zum Schreiben von Gerätetreibern, zur Verwaltung von virtuellem Speicher und zum Verständnis der Kernel-Internals. Es enthält zudem Leitfäden zu IoT-Netzwerkprotokollen wie MQTT und TCP/IP und skizziert die architektonischen Details von Chip-Architekturen und Hardware-Peripheriegeräten. Das Material deckt ein breites Spektrum der Systemprogrammierung ab, einschließlich manueller Speicherverwaltung, Prozesslebenszyklus-Management und der Implementierung von Konzepten für Echtzeitbetriebssysteme. Es enthält zudem Referenzen für Low-Level-Tools wie Cross-Kompilierung für ARM, Binäranalyse und Shell-Scripting für Build-Automatisierung.

This project is a diagnostic toolset used to scan CPU hardware and Linux kernel images to assess susceptibility to Spectre, Meltdown, and other transient execution vulnerabilities. It functions as a vulnerability scanner and security auditor designed to identify side-channel attack risks and verify the status of hardware-level security patches. The tool provides capabilities for both active system assessment and standalone kernel image security analysis. It evaluates the presence of security mitigations by analyzing CPU hardware and kernel configurations without requiring a running kernel or

This project is an OpenWrt firmware builder and specialized Linux router distribution designed to repurpose Amlogic S9xxx series hardware into functional routers. It provides a hardware adaptation layer consisting of kernel modifications and drivers that enable the operating system to run on Amlogic ARM SoC devices. The project features an automated firmware pipeline for scheduling, building, and distributing custom images. It includes a device recovery toolkit for bootstrapping, flashing, and restoring factory images, and supports the conversion of devices previously running different mobile