14 रिपॉजिटरी
The process of selecting and tailoring kernel features and hardware support during build time.
Distinct from Kernel Build Configuration Inspection: Candidates focus on GPU DSLs or inspecting a running kernel, not the source-level configuration process.
Explore 14 awesome GitHub repositories matching operating systems & systems programming · Kernel Configurations. Refine with filters or upvote what's useful.
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
Provides a modular kernel configuration process to tailor hardware support and features during compilation.
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
Provides build-time selection of software packages and plugins to minimize the final firmware image size.
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
Configures module options via kernel arguments to maintain update speeds without regenerating the initramfs.
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
Provides configuration of the operating system kernel via boot-time arguments to align with hardware profiles.
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
Provides a graphical interface to switch between stable and preview Mihomo proxy kernels without manual downloads.
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
Teaches how to select kernel features and drivers via the .config file during build time.
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
Offers eight prebuilt FFmpeg binary packages with different codec and library sets for integration.
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
Restricts kernel configuration to only verified options, preventing use of features that would break formal verification guarantees.
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
Documents modifying kernel features and settings through a menu-driven interface or configuration file.
Argosbx is an automated deployment script and multi-protocol proxy manager designed to expose local services to the internet using Cloudflare Argo tunnels. It functions as a tool for installing and configuring network tunneling kernels, including Sing-box and Xray, to create secure proxies and bypass network restrictions without the need for open firewall ports. The project distinguishes itself by providing a proxy subscription generator that creates formatted and password-protected URLs for syncing configurations across client devices. It also manages diverse tunneling protocols, such as VLE
Provides shortcut commands to update proxy kernel versions and restart active network nodes.
This project is a comprehensive technical manual for installing macOS on non-Apple x86 hardware using the OpenCore bootloader. It serves as a configuration guide for emulating Apple hardware and patching system firmware to achieve operating system compatibility on PCs. The documentation provides detailed instructions for SMBIOS hardware emulation, including the generation of system identifiers and model profiles. It covers the application of ACPI table patches to enable native power management and the modification of UEFI runtime services to resolve memory map and write protection issues. Th
Passes runtime flags to the kernel to enable verbose mode and initialize specific hardware.
embedded-notes एम्बेडेड Linux, Linux कर्नेल इंटरनल और C प्रोग्रामिंग पर केंद्रित तकनीकी अध्ययन गाइडों और विकास नोट्स का एक संग्रह है। यह एम्बेडेड सिस्टम विकास के लिए एक संदर्भ और क्षेत्र में तकनीकी साक्षात्कारों के लिए एक तैयारी संसाधन के रूप में कार्य करता है। यह प्रोजेक्ट डिवाइस ड्राइवर लिखने, वर्चुअल मेमोरी को प्रबंधित करने और कर्नेल इंटरनल को समझने पर विस्तृत दस्तावेज़ीकरण प्रदान करता है। इसमें MQTT और TCP/IP जैसे IoT नेटवर्क प्रोटोकॉल पर गाइड भी शामिल हैं, और चिप आर्किटेक्चर और हार्डवेयर पेरिफेरल्स के आर्किटेक्चरल विवरण को रेखांकित करता है। सामग्री सिस्टम प्रोग्रामिंग की एक विस्तृत सतह को कवर करती है, जिसमें मैनुअल मेमोरी प्रबंधन, प्रक्रिया लाइफसाइकिल प्रबंधन और रीयल-टाइम ऑपरेटिंग सिस्टम अवधारणाओं का कार्यान्वयन शामिल है। इसमें ARM के लिए क्रॉस-कंपाइलेशन, बाइनरी विश्लेषण और बिल्ड ऑटोमेशन के लिए शेल स्क्रिप्टिंग जैसे निम्न-स्तरीय टूलिंग के लिए संदर्भ भी शामिल हैं।
Explains how to define configuration menus and dependency rules to manage kernel features during build.
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
Matches CPU hardware identifiers against kernel configuration flags to determine the effective security posture.
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
Provides a configuration utility to choose which software packages and plugins are included in the final firmware image.