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
• Amanieu / a-tale-of-binary-translation
  Simple RISC-V emulator presented at Rust Nation 2023
  ☆66Updated 2 years ago
• elliottt / easy-smt
  Easy SMT solver interaction
  ☆35Updated last month
• CharlyCst / miralis
  Miralis is a RISC-V firmware that virtualizes RISC-V firmware
  ☆31Updated 3 weeks ago
• fintelia / riscv-decode
  Simple library for decoding RISC-V instructions
  ☆24Updated last week
• Freax13 / test-kernel
  ☆13Updated 2 years ago
• rcore-os / trapframe-rs
  Handle TrapFrame across kernel and user space on multiple ISAs.
  ☆35Updated last year
• fitzgen / synth-loop-free-prog
  Synthesis of Loop-free Programs in Rust
  ☆66Updated 5 years ago
• rust-console / voladdress
  Allows for proper and easy handling of volatile memory
  ☆39Updated last year
• cbiffle / debugdb
  DWARF program analysis crate
  ☆23Updated last year
• iximeow / regmap
  memory-mapped registers for x86_64 systems
  ☆35Updated 4 years ago
• DrChat / buddyalloc
  Buddy allocator, forked from the toyos repository.
  ☆14Updated 4 years ago
• kevin-lesenechal / elf-info
  Inspect and dissect an ELF file with pretty formatting.
  ☆114Updated last year
• Amanieu / mini-backtrace
  Backtrace support for Rust `no_std` and embedded programs.
  ☆48Updated 2 years ago
• rems-project / isla
  Symbolic execution tool for Sail ISA specifications
  ☆78Updated last month
• nbdd0121 / r2vm
  Rust RISC-V Virtual Machine
  ☆107Updated 2 weeks ago
• arceos-org / arceos-staging
  An experimental modular OS written in Rust.
  ☆12Updated last year
• Amanieu / regalloc3
  New register allocator designed as a successor to regalloc2
  ☆46Updated last week
• novafacing / cannonball
  Deprecated! Use qemu-rs instead :)
  ☆72Updated last year
• hermit-os / loader
  The Hermit bootloader.
  ☆78Updated this week
• rcore-os / RVM1.5
  A Type-1.5 hypervisor written in Rust.
  ☆67Updated last year
• zdimension / parm_extended
  ☆51Updated this week
• weirdindiankid / cacheflow
  CacheFlow is a Linux kernel module that exposes the contents of the last-level cache on *most* ARM machines.
  ☆17Updated last year
• stemnic / rustyvisor
  Hypervisor written in Rust for the RISC-V 1.0 hypervisor extension
  ☆16Updated 10 months ago
• Harry-Chen / rust-mips
  Rust library for low-level abstraction of MIPS processors
  ☆31Updated 5 years ago
• seL4 / rust-sel4
  Rust support for seL4 userspace
  ☆163Updated this week
• tchajed / minimal-elf
  Creating a minimal ELF file
  ☆119Updated 3 months ago
• vmware-archive / node-replicated-kernel
  Experimental kernel with built-in replication.
  ☆160Updated last month
• ethanuppal / marlin
  🦀 No nonsense hardware testing/simulation in Rust 🛠️ | Verilog, Spade, Veryl
  ☆57Updated last week
• cdisselkoen / llvm-ir-analysis
  ☆76Updated last year