Alternatives and similar repositories for miralis

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

• seL4 / rust-sel4
  Rust support for seL4 userspace
  ☆179Updated last month
• Amanieu / a-tale-of-binary-translation
  Simple RISC-V emulator presented at Rust Nation 2023
  ☆67Updated 2 years ago
• rust-vmm / vm-fdt
  ☆19Updated last year
• nbdd0121 / r2vm
  Rust RISC-V Virtual Machine
  ☆112Updated 4 months ago
• hermit-os / loader
  The Hermit bootloader.
  ☆81Updated this week
• rcore-os / RVM1.5
  A Type-1.5 hypervisor written in Rust.
  ☆70Updated last year
• seL4 / microkit
  Microkit - A simple operating system framework for the seL4 microkernel
  ☆164Updated 2 weeks ago
• Freax13 / test-kernel
  ☆13Updated 3 years ago
• 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
  ☆85Updated this week
• au-ts / libvmm
  A virtual machine monitor for the seL4 microkernel
  ☆47Updated this week
• rivosinc / salus
  Risc-V hypervisor for TEE development
  ☆126Updated 6 months ago
• rust-osdev / xhci
  A Rust library which is useful to handle xHCI
  ☆46Updated last year
• chipsalliance / caliptra-mcu-sw
  Caliptra MCU Software
  ☆21Updated this week
• KuangjuX / hypocaust
  hypocaust, a S-mode trap and emulate type-1 hypervisor run on RISC-V machine.
  ☆48Updated 2 years ago
• arceos-org / arceos-staging
  An experimental modular OS written in Rust.
  ☆12Updated last year
• elliottt / easy-smt
  Easy SMT solver interaction
  ☆34Updated 5 months ago
• S2-Lab / ERASan
  ☆48Updated 6 months ago
• woodruffw / mollusc
  Pure-Rust libraries for parsing, interpreting, and analyzing LLVM
  ☆82Updated last year
• zdimension / parm_extended
  ☆52Updated last month
• yavko / yavkOS
  Operating system based off of blog_os, with the goal of running wasm modules as executables
  ☆24Updated 2 years ago
• cbiffle / debugdb
  DWARF program analysis crate
  ☆24Updated last year
• riscv / riscv-cheri
  This repository contains the CHERI extension specification, adding hardware capabilities to RISC-V ISA to enable fine-grained memory prot…
  ☆93Updated last week
• Amanieu / regalloc3
  New register allocator designed as a successor to regalloc2
  ☆55Updated last month
• auxoncorp / ferros
  A Rust-based userland which also adds compile-time assurances to seL4 development.
  ☆119Updated 2 years ago
• jjyr / buddy-alloc
  Buddy-alloc is a memory allocator for no-std Rust, used for embedded environments.
  ☆33Updated last year
• fintelia / riscv-decode
  Simple library for decoding RISC-V instructions
  ☆24Updated last month
• lowenware / leos-kernel
  LeOS operating system Kernel for AArch64 written in Rust
  ☆81Updated 5 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 …
  ☆197Updated this week
• jwnhy / rvbt
  Baremetal Backtracing on RISC-V
  ☆16Updated 4 years ago