Skip to content

Popular repositories Loading

  1. wiki wiki Public archive

    Modern OS Development wiki.

    Haskell 62 13

  2. nyu-efi nyu-efi Public

    GNU-EFI fork with fixes and improvements.

    C 31 8

  3. freestnd-c-hdrs-0bsd freestnd-c-hdrs-0bsd Public

    Collection of 0BSD-licensed freestanding C headers for GCC and Clang.

    C 26 1

  4. nyu-efi-c-template nyu-efi-c-template Public template

    Example/template hello world using Nyu-EFI.

    Makefile 22 2

  5. libgcc-binaries libgcc-binaries Public

    Precompiled binaries of the libgcc GCC/clang runtime support library.

    Shell 10 3

  6. cc-runtime cc-runtime Public

    Freestanding, easy to integrate subset of LLVM's compiler-rt libgcc-compatibility functions.

    C 10 1

Repositories

Showing 10 of 12 repositories
  • edk2-ovmf-nightly Public

    Nightly images of EDK2 OVMF firmware for QEMU.

    6 0 0 0 Updated Mar 21, 2025
  • nyu-efi-c-template Public template

    Example/template hello world using Nyu-EFI.

    Makefile 22 0BSD 2 0 0 Updated Mar 17, 2025
  • nyu-efi Public

    GNU-EFI fork with fixes and improvements.

    C 31 8 0 0 Updated Mar 13, 2025
  • libgcc-binaries Public

    Precompiled binaries of the libgcc GCC/clang runtime support library.

    Shell 10 3 0 0 Updated Feb 7, 2025
  • freestnd-c-hdrs Public

    Headers from GCC that can be used in a freestanding environment.

    C 3 GPL-2.0 2 0 0 Updated Feb 7, 2025
  • freestnd-cxx-hdrs Public

    Headers from GCC's libstdc++ that can be used in a freestanding environment.

    C++ 8 GPL-2.0 2 0 0 Updated Feb 7, 2025
  • freestanding-toolchain Public

    Script to detect viable freestanding C toolchains.

    Shell 0 0BSD 0 0 0 Updated Jan 5, 2025
  • freestnd-c-hdrs-0bsd Public

    Collection of 0BSD-licensed freestanding C headers for GCC and Clang.

    C 26 0BSD 1 0 0 Updated Jan 3, 2025
  • cc-runtime Public

    Freestanding, easy to integrate subset of LLVM's compiler-rt libgcc-compatibility functions.

    C 10 1 0 0 Updated Dec 18, 2024
  • QEMU-osdev Public
    C 1 0 0 0 Updated Aug 31, 2024