Alternatives and similar repositories for rvbt

Users that are interested in rvbt are comparing it to the libraries listed below

• Javier-varez / p1c0
  An embedded OS for Apple M1 Pro chipsets
  ☆18Updated last year
• elliottt / easy-smt
  Easy SMT solver interaction
  ☆35Updated 3 months ago
• Amanieu / mini-backtrace
  Backtrace support for Rust `no_std` and embedded programs.
  ☆48Updated 2 years ago
• cbiffle / debugdb
  DWARF program analysis crate
  ☆19Updated last year
• stemnic / rustyvisor
  Hypervisor written in Rust for the RISC-V 1.0 hypervisor extension
  ☆16Updated 8 months ago
• Amanieu / a-tale-of-binary-translation
  Simple RISC-V emulator presented at Rust Nation 2023
  ☆64Updated 2 years ago
• Freax13 / test-kernel
  ☆13Updated 2 years ago
• fintelia / riscv-decode
  Simple library for decoding RISC-V instructions
  ☆24Updated 10 months ago
• rust-vmm / vm-fdt
  ☆18Updated 10 months ago
• CharlyCst / miralis
  Miralis is a RISC-V firmware that virtualizes RISC-V firmware
  ☆28Updated 3 weeks ago
• djg / verilated-rs
  Verilator Porcelain
  ☆47Updated last year
• cbiffle / lilosdbg
  Prototype debugger for lilos
  ☆26Updated 3 months ago
• rustsbi / awesome-rustsbi
  A curated list of awesome things related to rustsbi
  ☆40Updated 2 years ago
• DrChat / buddyalloc
  Buddy allocator, forked from the toyos repository.
  ☆14Updated 3 years ago
• luojia65 / test-d1-flash-bare
  Test run any program on D1 Nezha board flash
  ☆26Updated 2 years ago
• rustsbi / rustsbi-hifive-unmatched
  RustSBI support on SiFive FU740 board; FU740 is a five-core heterogeneous processor with four SiFive U74 cores, and one SiFive S7 core
  ☆17Updated last year
• jwnhy / coffer
  Coffer is a RISC-V trusted execution environment developed in Rust.
  ☆20Updated 3 years ago
• rustsbi / standalone
  Rapid prototyping and selection package for pure-Rust RISC-V firmware, with RustSBI + UEFI or RustSBI + LinuxBoot
  ☆27Updated 8 months ago
• rems-project / isla
  Symbolic execution tool for Sail ISA specifications
  ☆73Updated this week
• ethanuppal / marlin
  🦀 No nonsense hardware testing/simulation in Rust 🛠️ | Verilog, Spade, Veryl
  ☆48Updated 2 weeks ago
• arceos-org / arceos-staging
  An experimental modular OS written in Rust.
  ☆12Updated 11 months ago
• shacron / sled
  Sled System Emulator
  ☆28Updated last month
• sgmarz / riscv_msi
  Message Signaled Interrupts for RISC-V
  ☆25Updated 9 months ago
• Harry-Chen / rust-mips
  Rust library for low-level abstraction of MIPS processors
  ☆31Updated 5 years ago
• rust-console / voladdress
  Allows for proper and easy handling of volatile memory
  ☆39Updated last year
• rcore-os / trapframe-rs
  Handle TrapFrame across kernel and user space on multiple ISAs.
  ☆33Updated 11 months ago
• oeb25 / smtlib-rs
  A high-level API for interacting with SMT solvers.
  ☆28Updated last month
• woodruffw / mollusc
  Pure-Rust libraries for parsing, interpreting, and analyzing LLVM
  ☆80Updated last year
• cryptape / rvv-encoder
  RISC-V V Extension Encoder
  ☆11Updated 2 years ago
• spade-lang / spade
  A Hardware Description Language that doesn't make you want to pull your hair out | read-only mirror of https://gitlab.com/spade-lang/spad…
  ☆27Updated this week