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 2 years ago
• Amanieu / a-tale-of-binary-translation
  Simple RISC-V emulator presented at Rust Nation 2023
  ☆67Updated 2 years ago
• elliottt / easy-smt
  Easy SMT solver interaction
  ☆34Updated 4 months ago
• CharlyCst / miralis
  Miralis is a RISC-V firmware that virtualizes RISC-V firmware
  ☆38Updated last month
• Freax13 / test-kernel
  ☆13Updated 3 years ago
• Amanieu / mini-backtrace
  Backtrace support for Rust `no_std` and embedded programs.
  ☆48Updated 2 years ago
• cbiffle / debugdb
  DWARF program analysis crate
  ☆24Updated last year
• arceos-org / arceos-staging
  An experimental modular OS written in Rust.
  ☆12Updated last year
• kevin-lesenechal / elf-info
  Inspect and dissect an ELF file with pretty formatting.
  ☆115Updated last year
• lf- / mu
  [in-progress] toy rust microkernel and operating system for riscv64
  ☆28Updated 4 years ago
• luojia65 / test-d1-flash-bare
  Test run any program on D1 Nezha board flash
  ☆27Updated 3 years ago
• StardustOS / stardust-oxide
  Rust-based Unikernel
  ☆125Updated last year
• 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
  ☆40Updated last year
• nbdd0121 / r2vm
  Rust RISC-V Virtual Machine
  ☆111Updated 3 months ago
• woodruffw / mollusc
  Pure-Rust libraries for parsing, interpreting, and analyzing LLVM
  ☆82Updated last year
• shacron / sled
  Sled System Emulator
  ☆28Updated last month
• iximeow / regmap
  memory-mapped registers for x86_64 systems
  ☆35Updated 4 years ago
• seL4 / rust-sel4
  Rust support for seL4 userspace
  ☆173Updated last week
• chipsalliance / caliptra-sw
  Caliptra software (ROM, FMC, runtime firmware), and libraries/tools needed to build and test
  ☆128Updated this week
• 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…
  ☆34Updated last week
• duskmoon314 / aw-pac
  Peripheral access API for Allwinner SoCs generated from unofficial SVD file
  ☆25Updated last week
• rust-vmm / vm-fdt
  ☆19Updated last year
• vmware-archive / node-replicated-kernel
  Experimental kernel with built-in replication.
  ☆162Updated 4 months ago
• fitzgen / synth-loop-free-prog
  Synthesis of Loop-free Programs in Rust
  ☆66Updated 5 years ago
• trmckay / lib-rv32
  Rust library for emulating RISC-V rv32imac
  ☆23Updated 3 years ago
• hermit-os / loader
  The Hermit bootloader.
  ☆79Updated last week
• rems-project / isla
  Symbolic execution tool for Sail ISA specifications
  ☆79Updated 2 months ago
• rems-project / sail-arm
  Sail version of Arm ISA definition, currently for Armv9.3-A, and with the previous Sail Armv8.5-A model
  ☆90Updated this week
• iximeow / yaxpeax-core
  program analysis for machine code
  ☆36Updated 4 years ago