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 este un script de implementare automatizat și un manager de proxy multi-protocol conceput pentru a expune serviciile locale pe internet folosind tuneluri Cloudflare Argo. Funcționează ca un instrument pentru instalarea și configurarea kernel-urilor de tunelare de rețea, inclusiv Sing-box și Xray, pentru a crea proxy-uri securizate și a ocoli restricțiile de rețea fără a fi nevoie de porturi firewall deschise. Proiectul se distinge prin furnizarea unui generator de abonamente proxy care creează URL-uri formatate și protejate prin parolă pentru sincronizarea configurațiilor pe dispozitivele client. De asemenea, gestionează diverse protocoale de tunelare, cum ar fi VLESS, Hysteria2, TUIC și Shadowsocks-2022, atât în medii VPS, cât și Docker. Sistemul acoperă capabilități mai largi pentru gestionarea traficului de rețea, inclusiv rutarea outbound IPv4 și IPv6 pentru a masca identitatea serverului. Include utilitare CLI pentru gestionarea kernel-ului proxy, întreținerea ciclului de viață al nodurilor și implementarea conștientă de containere pentru a ajusta configurațiile de rețea în funcție de mediul de execuție.

Acest proiect este un manual tehnic cuprinzător pentru instalarea macOS pe hardware x86 non-Apple folosind bootloader-ul OpenCore. Servește ca un ghid de configurare pentru emularea hardware-ului Apple și patch-uirea firmware-ului de sistem pentru a obține compatibilitatea sistemului de operare pe PC-uri. Documentația oferă instrucțiuni detaliate pentru emularea hardware SMBIOS, inclusiv generarea identificatorilor de sistem și a profilurilor de model. Acoperă aplicarea patch-urilor pentru tabelele ACPI pentru a activa gestionarea nativă a energiei și modificarea serviciilor de runtime UEFI pentru a rezolva problemele de mapare a memoriei și de protecție la scriere. Resursa detaliază în continuare compatibilitatea hardware pentru componentele de rețea, grafică și audio, precum și gestionarea extensiilor de kernel. Include îndrumări privind configurarea bootloader-ului, crearea de instalatoare bootabile și utilizarea logării verbose și a kiturilor de depanare pentru a diagnostica kernel panic-urile.

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

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