Skip to content
Change the repository type filter

All

    Repositories list

    • A Nix flake with overlays for toolchains with support for xthead extensions
      Nix
      0200Updated Apr 19, 2024Apr 19, 2024
    • gcc

      Public
      GNU General Public License v2.0
      4.4k000Updated Apr 18, 2024Apr 18, 2024
    • Nix
      0100Updated Apr 17, 2024Apr 17, 2024
    • linux

      Public
      Linux kernel source tree
      C
      Other
      54k100Updated Apr 17, 2024Apr 17, 2024
    • opensbi

      Public
      RISC-V Open Source Supervisor Binary Interface
      C
      Other
      506000Updated Apr 17, 2024Apr 17, 2024
    • SOPHGO RISC-V Zero Stage BootLoader
      C
      GNU General Public License v2.0
      32000Updated Apr 17, 2024Apr 17, 2024
    • A nix flake providing bootstrap files with fixes for xthead extensions
      Nix
      BSD 2-Clause "Simplified" License
      1010Updated Apr 16, 2024Apr 16, 2024
    • nixpkgs

      Public
      Nix Packages collection & NixOS
      Nix
      MIT License
      14k000Updated Apr 11, 2024Apr 11, 2024
    • The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.
      Other
      12k000Updated Apr 4, 2024Apr 4, 2024
    • Read-only mirror of Trusted Firmware-A
      C
      Other
      1.4k000Updated Mar 27, 2024Mar 27, 2024
    • Go
      40000Updated Mar 23, 2024Mar 23, 2024
    • u-root

      Public
      A fully Go userland with Linux bootloaders! u-root can create a one-binary root file system (initramfs) containing a busybox-like set of tools written in Go.
      Go
      BSD 3-Clause "New" or "Revised" License
      402000Updated Mar 21, 2024Mar 21, 2024
    • oreboot

      Public
      oreboot is a fork of coreboot, with C removed, written in Rust.
      Rust
      GNU General Public License v2.0
      104000Updated Mar 20, 2024Mar 20, 2024
    • EDK II non-OSI licensed content
      Assembly
      88000Updated Mar 15, 2024Mar 15, 2024
    • edk2

      Public
      EDK II
      C
      Other
      2.5k000Updated Mar 15, 2024Mar 15, 2024
    • EDK II sample platform branches and tags
      C
      Other
      484000Updated Mar 15, 2024Mar 15, 2024
    • buildroot

      Public
      Buildroot, making embedded Linux easy. Note that this is not the official repository, but only a mirror. The official Git repository is at http://git.buildroot.net/buildroot/. Do not open issues or file pull requests here.
      Makefile
      Other
      2.4k000Updated Mar 4, 2024Mar 4, 2024
    • Nix
      MIT License
      11000Updated Feb 29, 2024Feb 29, 2024