SiFive
SiFive
freedom-u-sdk
Freedom U Software Development Kit (FUSDK)
RiscvSpecFormal
The RiscvSpecKami package provides SiFive's RISC-V processor model. Built using Coq, this processor model can be used for simulation, model checking, and semantics analysis. The RISC-V processor model...
chisel-circt
Library to compile Chisel circuits using LLVM/MLIR (CIRCT)
buildroot
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 fi...
cinco
Port of Arduino environment for Freedom E 300 Dev Kit & HiFive Board
elf2hex
Converts ELF files to HEX files that are suitable for Verilog's readmemh.
ProcKami
Kami based processor implementations and specifications