Skip to content
Change the repository type filter

All

    Repositories list

    • Nightly images of EDK2 OVMF firmware for QEMU.
      11100Updated Feb 22, 2026Feb 22, 2026
    • Precompiled binaries of the libgcc GCC/clang runtime support library.
      Shell
      4900Updated Dec 8, 2025Dec 8, 2025
    • Headers from GCC that can be used in a freestanding environment.
      C
      2200Updated Dec 3, 2025Dec 3, 2025
    • Headers from GCC's libstdc++ that can be used in a freestanding environment.
      C++
      2700Updated Dec 3, 2025Dec 3, 2025
    • cc-runtime

      Public archive
      Freestanding, integer-only, easy to integrate subset of LLVM's compiler-rt libgcc-compatibility functions.
      C
      11100Updated Sep 2, 2025Sep 2, 2025
    • freestnd-c-hdrs-0bsd

      Public archive
      Collection of 0BSD-licensed freestanding C headers for GCC and Clang.
      C
      12500Updated Sep 2, 2025Sep 2, 2025
    • libfdt

      Public archive
      libfdt library extracted from dtc tree
      C
      0400Updated Sep 2, 2025Sep 2, 2025
    • nyu-efi

      Public archive
      Moved to codeberg: https://codeberg.org/PicoEFI/PicoEFI
      73000Updated Sep 2, 2025Sep 2, 2025
    • Moved to codeberg: https://codeberg.org/osdev/freestanding-toolchain
      0000Updated Mar 31, 2025Mar 31, 2025
    • QEMU-osdev

      Public
      C
      0100Updated Aug 31, 2024Aug 31, 2024
    • osdev-wiki.github.io

      Public archive
      OSDev wiki site as published by CI. To contribute see the osdev-wiki/wiki repository.
      HTML
      1000Updated Jun 27, 2024Jun 27, 2024
    • wiki

      Public archive
      Modern OS Development wiki.
      Haskell
      136714Updated Jul 9, 2023Jul 9, 2023