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
• Amanieu / mini-backtrace
  Backtrace support for Rust `no_std` and embedded programs.
  ☆48Updated 2 years ago
• Freax13 / test-kernel
  ☆13Updated 2 years ago
• elliottt / easy-smt
  Easy SMT solver interaction
  ☆35Updated 3 months ago
• luojia65 / test-d1-flash-bare
  Test run any program on D1 Nezha board flash
  ☆26Updated 2 years ago
• hermit-os / loader
  The Hermit bootloader.
  ☆77Updated 2 weeks ago
• CharlyCst / miralis
  Miralis is a RISC-V firmware that virtualizes RISC-V firmware
  ☆28Updated last week
• rcore-os / trapframe-rs
  Handle TrapFrame across kernel and user space on multiple ISAs.
  ☆33Updated last year
• cbiffle / debugdb
  DWARF program analysis crate
  ☆19Updated last year
• kevin-lesenechal / elf-info
  Inspect and dissect an ELF file with pretty formatting.
  ☆112Updated last year
• seL4 / rust-sel4
  Rust support for seL4 userspace
  ☆161Updated last week
• r3-os / r3
  R3-OS — Experimental static (μITRON-esque) RTOS kernel for deeply embedded systems, testing the limit of Rust's compile-time evaluation a…
  ☆168Updated 2 years ago
• rust-console / voladdress
  Allows for proper and easy handling of volatile memory
  ☆39Updated last year
• vmware-labs / node-replicated-kernel
  Experimental kernel with built-in replication.
  ☆160Updated last year
• Amanieu / regalloc3
  New register allocator designed as a successor to regalloc2
  ☆39Updated last week
• cdisselkoen / llvm-ir-analysis
  ☆75Updated last year
• rcore-os / RVM1.5
  A Type-1.5 hypervisor written in Rust.
  ☆65Updated last year
• fintelia / riscv-decode
  Simple library for decoding RISC-V instructions
  ☆24Updated 11 months ago
• rems-project / isla
  Symbolic execution tool for Sail ISA specifications
  ☆73Updated last week
• lf- / mu
  [in-progress] toy rust microkernel and operating system for riscv64
  ☆28Updated 4 years ago
• rust-vmm / vm-fdt
  ☆18Updated 11 months 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
• Amanieu / naked-function
  Proc macro implementation of #[naked]
  ☆31Updated 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…
  ☆28Updated this week
• trmckay / lib-rv32
  Rust library for emulating RISC-V rv32imac
  ☆22Updated 3 years ago
• chipsalliance / caliptra-sw
  Caliptra software (ROM, FMC, runtime firmware), and libraries/tools needed to build and test
  ☆119Updated this week
• rustsbi / slides
  All public report slides, articles and meeting minutes related to RustSBI
  ☆29Updated last week
• Amanieu / minicov
  Code coverage support for Rust `no_std` and embedded programs
  ☆57Updated 8 months ago
• pskrgag / lock_free_buddy_allocator
  Lock-free buddy allocator based on binary heap
  ☆11Updated 4 months ago