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
• cbiffle / debugdb
  DWARF program analysis crate
  ☆24Updated last year
• elliottt / easy-smt
  Easy SMT solver interaction
  ☆34Updated 6 months ago
• CharlyCst / miralis
  Miralis is a RISC-V firmware that virtualizes RISC-V firmware
  ☆42Updated 2 weeks ago
• Amanieu / mini-backtrace
  Backtrace support for Rust `no_std` and embedded programs.
  ☆48Updated 2 years ago
• Freax13 / test-kernel
  ☆13Updated 3 years ago
• zdimension / parm_extended
  ☆52Updated 2 months ago
• Amanieu / regalloc3
  New register allocator designed as a successor to regalloc2
  ☆56Updated 2 months ago
• hermit-os / loader
  The Hermit bootloader.
  ☆82Updated this week
• iximeow / regmap
  memory-mapped registers for x86_64 systems
  ☆35Updated 4 years ago
• nbdd0121 / r2vm
  Rust RISC-V Virtual Machine
  ☆113Updated 5 months ago
• rust-console / voladdress
  Allows for proper and easy handling of volatile memory
  ☆40Updated last year
• StardustOS / stardust-oxide
  Rust-based Unikernel
  ☆133Updated 2 years ago
• seL4 / rust-sel4
  Rust support for seL4 userspace
  ☆182Updated 2 months ago
• rems-project / isla
  Symbolic execution tool for Sail ISA specifications
  ☆85Updated this week
• Vanille-N / tree-borrows
  Overview of the Tree Borrows rules for detecting violations of the aliasing discipline in Rust
  ☆27Updated last year
• cdisselkoen / llvm-ir-analysis
  ☆74Updated last year
• tchajed / minimal-elf
  Creating a minimal ELF file
  ☆120Updated 8 months ago
• jjyr / buddy-alloc
  Buddy-alloc is a memory allocator for no-std Rust, used for embedded environments.
  ☆33Updated last year
• rcore-os / trapframe-rs
  Handle TrapFrame across kernel and user space on multiple ISAs.
  ☆35Updated 2 weeks ago
• fitzgen / synth-loop-free-prog
  Synthesis of Loop-free Programs in Rust
  ☆66Updated 5 years ago
• rust-embedded / qemu-exit
  Exit QEMU with user-defined code
  ☆56Updated 3 weeks ago
• woodruffw / mollusc
  Pure-Rust libraries for parsing, interpreting, and analyzing LLVM
  ☆82Updated 2 years ago
• trmckay / lib-rv32
  Rust library for emulating RISC-V rv32imac
  ☆23Updated 4 years ago
• dtcxzyw / llvm-ub-aware-interpreter
  UB-aware interpreter for LLVM debugging
  ☆31Updated last week
• lf- / mu
  [in-progress] toy rust microkernel and operating system for riscv64
  ☆29Updated 4 years ago
• weirdindiankid / cacheflow
  CacheFlow is a Linux kernel module that exposes the contents of the last-level cache on *most* ARM machines.
  ☆17Updated last year
• djg / verilated-rs
  Verilator Porcelain
  ☆49Updated 2 years ago
• rust-osdev / uart_16550
  Minimal support for uart_16550 serial output.
  ☆43Updated 6 months ago