awesome-repositories.com
Blog
awesome-repositories.com

Descubre los mejores repositorios open-source con nuestra búsqueda potenciada por IA.

ExplorarBúsquedas curadasAlternativas open-sourceSoftware autohospedableBlogMapa del sitio
ProyectoAcerca deCómo clasificamosPrensaServidor MCP
Aviso legalPrivacidadTérminos
© 2026 Bringes Technology SRL·VAT RO45896025·hello@awesome-repositories.com
·

8 repositorios

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

Encuentra los mejores repositorios con IA.Buscaremos los repositorios que mejor coincidan usando IA.
  • reactos/reactosAvatar de reactos

    reactos/reactos

    17,661Ver en 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
    Ver en GitHub↗17,661
  • phil-opp/blog_osAvatar de phil-opp

    phil-opp/blog_os

    17,518Ver en 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
    Ver en GitHub↗17,518
  • redox-os/redoxAvatar de redox-os

    redox-os/redox

    16,054Ver en 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
    Ver en GitHub↗16,054
  • flipperdevices/flipperzero-firmwareAvatar de flipperdevices

    flipperdevices/flipperzero-firmware

    15,563Ver en 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
    Ver en GitHub↗15,563
  • systemd/systemdAvatar de systemd

    systemd/systemd

    15,324Ver en 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
    Ver en GitHub↗15,324
  • rust-embedded/rust-raspberrypi-os-tutorialsAvatar de rust-embedded

    rust-embedded/rust-raspberrypi-OS-tutorials

    14,682Ver en 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
    Ver en GitHub↗14,682
  • pytorch/executorchAvatar de pytorch

    pytorch/executorch

    4,296Ver en 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
    Ver en GitHub↗4,296
  • openbsd/srcAvatar de openbsd

    openbsd/src

    3,808Ver en 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
    Ver en GitHub↗3,808
  1. Home
  2. Operating Systems & Systems Programming
  3. Operating System Kernel Build Tools

Explorar subetiquetas

  • 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 sub-etiquetaTechniques 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.