Alternatives and similar repositories for miralis

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

• Amanieu / a-tale-of-binary-translation
  Simple RISC-V emulator presented at Rust Nation 2023
  ☆66Updated 2 years ago
• seL4 / rust-sel4
  Rust support for seL4 userspace
  ☆163Updated this week
• rust-vmm / vm-fdt
  ☆18Updated last year
• nbdd0121 / r2vm
  Rust RISC-V Virtual Machine
  ☆107Updated 2 weeks ago
• rcore-os / RVM1.5
  A Type-1.5 hypervisor written in Rust.
  ☆67Updated last year
• seL4 / microkit
  Microkit - A simple operating system framework for the seL4 microkernel
  ☆130Updated last week
• hermit-os / loader
  The Hermit bootloader.
  ☆78Updated this week
• Freax13 / test-kernel
  ☆13Updated 2 years ago
• jwnhy / rvbt
  Baremetal Backtracing on RISC-V
  ☆15Updated 4 years ago
• IBM / ACE-RISCV
  Assured confidential execution (ACE) implements VM-based trusted execution environment (TEE) for embedded RISC-V systems with focus on a …
  ☆182Updated last week
• au-ts / lionsos
  A secure, fast, and adaptable OS based on the seL4 microkernel
  ☆141Updated this week
• arceos-org / arceos-staging
  An experimental modular OS written in Rust.
  ☆12Updated last year
• rustsbi / awesome-rustsbi
  A curated list of awesome things related to rustsbi
  ☆41Updated 2 years ago
• fintelia / riscv-decode
  Simple library for decoding RISC-V instructions
  ☆24Updated last week
• yavko / yavkOS
  Operating system based off of blog_os, with the goal of running wasm modules as executables
  ☆24Updated 2 years ago
• Amanieu / mini-backtrace
  Backtrace support for Rust `no_std` and embedded programs.
  ☆48Updated 2 years ago
• LawrenceHunter / SentinelBoot
  A demonstrative cryptographically secure RISC-V bootloader written in Rust for a final year project at The University of Manchester
  ☆68Updated last year
• novafacing / qemu-rs
  QEMU for Rust, and Rust for QEMU
  ☆77Updated this week
• woodruffw / mollusc
  Pure-Rust libraries for parsing, interpreting, and analyzing LLVM
  ☆80Updated last year
• au-ts / libvmm
  A virtual machine monitor for the seL4 microkernel
  ☆40Updated last week
• KuangjuX / hypocaust
  hypocaust, a S-mode trap and emulate type-1 hypervisor run on RISC-V machine.
  ☆48Updated 2 years ago
• lowenware / leos-kernel
  LeOS operating system Kernel for AArch64 written in Rust
  ☆82Updated 5 years ago
• kevin-lesenechal / elf-info
  Inspect and dissect an ELF file with pretty formatting.
  ☆114Updated last year
• vincenthouyi / LakeOS
  A L4-like micro-kernel OS written in Rust
  ☆66Updated last year
• cbiffle / debugdb
  DWARF program analysis crate
  ☆23Updated last year
• ejrgilbert / whamm
  Debugging WebAssembly? Put some Whamm! on it.
  ☆36Updated 2 weeks ago
• rems-project / isla
  Symbolic execution tool for Sail ISA specifications
  ☆78Updated last month
• Javier-varez / p1c0
  An embedded OS for Apple M1 Pro chipsets
  ☆18Updated last year
• KuangjuX / hypercraft
  hypercraft is a VMM library written in Rust.
  ☆51Updated 10 months ago
• hermit-os / hermit-playground
  A playground to build C/C++/Go/Fortran applications on top of RustyHermit
  ☆36Updated last year