awesome-repositories.com
المدونة
awesome-repositories.com

اكتشف أفضل مستودعات المصادر المفتوحة باستخدام بحث مدعوم بالذكاء الاصطناعي.

استكشفعمليات بحث منسقةبدائل مفتوحة المصدربرمجيات ذاتية الاستضافةالمدونةخريطة الموقع
المشروعحولكيفية ترتيب النتائجالصحافةخادم MCP
قانونيالخصوصيةالشروط
© 2026 Bringes Technology SRL·VAT RO45896025·hello@awesome-repositories.com
·

8 مستودعات

Awesome GitHub RepositoriesOperating System Kernel Build Tools

Utilities and toolchains for compiling custom microkernel-based operating system images from source code.

Distinct from Custom C++ Kernels: Distinct from Custom C++ Kernels: focuses on the build-time orchestration of an entire OS kernel rather than hardware-specific acceleration kernels.

Explore 8 awesome GitHub repositories matching operating systems & systems programming · Operating System Kernel Build Tools. Refine with filters or upvote what's useful.

Awesome Operating System Kernel Build Tools GitHub Repositories

اعثر على أفضل المستودعات باستخدام الذكاء الاصطناعي.سنبحث عن أفضل المستودعات المطابقة باستخدام الذكاء الاصطناعي.
  • reactos/reactosالصورة الرمزية لـ reactos

    reactos/reactos

    17,661عرض على GitHub↗

    ReactOS is an open-source operating system designed to be binary compatible with Windows applications and drivers. It consists of a low-level system kernel that manages hardware resources and a binary compatibility layer that enables the execution of software designed for the Windows binary interface. The project implements a cross-platform build system and toolchain for compiling and deploying bootable operating system images across different hardware architectures. This includes the use of cross-compilation toolchains and a hardware-abstraction layer to support various processor and motherb

    Compiles source code into binary files and bootable images using standard build utilities.

    Ccdriversgpl
    عرض على GitHub↗17,661
  • phil-opp/blog_osالصورة الرمزية لـ phil-opp

    phil-opp/blog_os

    17,518عرض على GitHub↗

    This project is a freestanding kernel written in Rust that boots on x86 hardware without a standard library. It serves as a low-level system implementation focusing on the creation of a bare metal operating system. The system implements a bootable disk image toolchain that transforms source code into binaries compatible with a bootloader. It features a custom memory allocator for dynamic memory management and an x86 kernel implementation that includes paging, interrupt handling, and VGA text mode. The project covers several core capability areas, including low-level memory management through

    Provides a toolchain for compiling a minimal operating system kernel and binary without a standard library.

    HTMLkerneloperating-systemrust
    عرض على GitHub↗17,518
  • redox-os/redoxالصورة الرمزية لـ redox-os

    redox-os/redox

    16,054عرض على GitHub↗

    Redox is a POSIX-compliant, microkernel-based operating system written entirely in Rust. By utilizing a memory-safe language for the kernel and all system components, the project eliminates common vulnerabilities such as buffer overflows and use-after-free errors. Its architecture relies on a minimal kernel that manages only essential hardware and process isolation, delegating all other system services to unprivileged user-space processes. The system distinguishes itself through a modular design where hardware drivers and system services run as independent user-space daemons, allowing them to

    Build a microkernel-based operating system from source code using a specialized toolchain to produce a functional computing environment.

    Rustbsdfreebsdgnu
    عرض على GitHub↗16,054
  • flipperdevices/flipperzero-firmwareالصورة الرمزية لـ flipperdevices

    flipperdevices/flipperzero-firmware

    15,563عرض على GitHub↗

    This project provides an open-source firmware platform and complete build environment for portable multi-tool hardware. It functions as an embedded operating system designed to manage radio, infrared, and physical interface components, enabling users to develop custom applications and system logic for specialized hardware devices. The firmware distinguishes itself through a modular architecture that organizes system functionality into isolated units, allowing for the development of custom user interfaces and logic. It includes a comprehensive collection of low-level drivers and applications s

    Bundles all system components into a single monolithic binary image optimized for constrained memory.

    Carmv7mblefirmware
    عرض على GitHub↗15,563
  • systemd/systemdالصورة الرمزية لـ systemd

    systemd/systemd

    15,324عرض على GitHub↗

    systemd is a comprehensive system and service manager for Linux that orchestrates the entire operating system lifecycle. It functions as the primary init system, managing the transition from firmware to a fully initialized user space while providing a unified framework for service orchestration, hardware management, and resource control. The project distinguishes itself through its declarative, unit-based configuration model and dynamic dependency resolution, which allow for efficient, on-demand service activation and socket-based process management. It integrates deep system observability th

    Combines kernel and boot stubs into a single self-descriptive executable to simplify the transition from firmware to the operating system.

    Ccinitlinux
    عرض على GitHub↗15,324
  • rust-embedded/rust-raspberrypi-os-tutorialsالصورة الرمزية لـ rust-embedded

    rust-embedded/rust-raspberrypi-OS-tutorials

    14,682عرض على GitHub↗

    This project is an educational resource for developing bare-metal operating systems and kernels from scratch on Raspberry Pi hardware. It provides a structured guide to systems programming using the Rust language, focusing on the implementation of core kernel components that execute directly on ARM-based hardware without the support of an underlying operating system or standard library. The tutorials emphasize a modular architecture that separates hardware-independent kernel logic from processor-specific and board-specific configurations. By utilizing a hardware abstraction layer and distinct

    Combines compiled modules into a single binary image that contains all necessary code to execute without an underlying operating system.

    Rustaarch64arm64armv8
    عرض على GitHub↗14,682
  • pytorch/executorchالصورة الرمزية لـ pytorch

    pytorch/executorch

    4,296عرض على GitHub↗

    ExecuTorch is a lightweight C++ runtime for deploying PyTorch models on mobile, embedded, and edge hardware. It provides an ahead-of-time compilation pipeline that exports, quantizes, and lowers model graphs into compact serialized programs, then executes them through a minimal runtime with hardware acceleration and on-device large language model inference capabilities. The project distinguishes itself through a hardware accelerator delegate system that partitions model subgraphs and offloads computation to specialized backends including NPUs, GPUs, and DSPs from Apple, Arm, Intel, MediaTek,

    ExecuTorch links only the kernels and backend libraries required by the deployed model to minimize the application's binary footprint.

    Pythondeep-learningembeddedgpu
    عرض على GitHub↗4,296
  • openbsd/srcالصورة الرمزية لـ openbsd

    openbsd/src

    3,808عرض على GitHub↗

    This repository contains the complete source code for the OpenBSD operating system and its base utilities. It is a Unix-like operating system focused on a secure, portable, and multi-user environment, featuring a C-based system kernel that manages hardware resources and provides essential services. The project provides a source-based system construction model to compile the core kernel and base utilities from raw files. It includes a cross-compilation toolchain for generating the tools and headers necessary to build binaries for target architectures different from the host machine. The codeb

    Includes toolchains and orchestration logic to compile the core system kernel and utilities.

    Copenbsd
    عرض على GitHub↗3,808
  1. Home
  2. Operating Systems & Systems Programming
  3. Operating System Kernel Build Tools

استكشف الوسوم الفرعية

  • Selective Operator CompilationAnalyzing models to include only required operator kernels during the build process. **Distinct from Operating System Kernel Build Tools:** Focuses on pruning unused AI operators during build, not compiling a full OS kernel image.
  • Static Linking1 وسم فرعيTechniques for bundling compiled modules into a single, self-contained kernel binary image. **Distinct from Static Binaries:** Focuses on kernel-specific static linking for bare-metal execution, distinct from general application static binaries.