Alternatives and similar repositories for miralis:

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

• rcore-os / RVM1.5
  A Type-1.5 hypervisor written in Rust.
  ☆62Updated 11 months ago
• rustsbi / rustsbi-hifive-unmatched
  RustSBI support on SiFive FU740 board; FU740 is a five-core heterogeneous processor with four SiFive U74 cores, and one SiFive S7 core
  ☆17Updated last year
• KuangjuX / hypocaust
  hypocaust, a S-mode trap and emulate type-1 hypervisor run on RISC-V machine.
  ☆48Updated 2 years ago
• KuangjuX / hypercraft
  hypercraft is a VMM library written in Rust.
  ☆50Updated 6 months ago
• jwnhy / coffer
  Coffer is a RISC-V trusted execution environment developed in Rust.
  ☆20Updated 3 years ago
• stemnic / rustyvisor
  Hypervisor written in Rust for the RISC-V 1.0 hypervisor extension
  ☆16Updated 6 months ago
• jwnhy / rvbt
  Baremetal Backtracing on RISC-V
  ☆15Updated 3 years ago
• IBM / ACE-RISCV
  Assured confidential execution (ACE) implements VM-based trusted execution environment (TEE) for RISC-V with focus on a formally verified…
  ☆47Updated this week
• riscv / riscv-cfi
  This specification is integrated into the Priv. and Unpriv. specifications. This repo is no longer maintained. Please refer to the Priv. …
  ☆87Updated 2 months ago
• fintelia / riscv-decode
  Simple library for decoding RISC-V instructions
  ☆23Updated 8 months ago
• new-tee-os / new-tee-os
  A brand new OS that runs in various kinds of TEEs and supports Linux ABI
  ☆15Updated 3 years ago
• Freax13 / mushroom
  Run integrity protected workloads in a hardware based Trusted Execution Environment.
  ☆39Updated this week
• riscv / riscv-spmp
  The repo contains the SPMP architectural specification, which includes capabilities like access control of read/write/execute requests by…
  ☆15Updated 2 weeks ago
• rust-vmm / vm-fdt
  ☆16Updated 8 months ago
• rivosinc / salus
  Risc-V hypervisor for TEE development
  ☆112Updated this week
• ARM-software / cca-rmm-acs
  Tests for verifying compliance of RMM implementations
  ☆18Updated last month
• unikraft / loupe
  Loupe: Syscall Usage Analysis Tool
  ☆33Updated this week
• rcore-os / trapframe-rs
  Handle TrapFrame across kernel and user space on multiple ISAs.
  ☆33Updated 9 months ago
• seL4 / rust-sel4
  Rust support for seL4 userspace
  ☆141Updated 3 weeks ago
• Gallium70 / rv-n-ext-impl
  ☆12Updated 2 years ago
• riscv-non-isa / riscv-uefi
  ☆29Updated 2 years ago
• riscv / riscv-smmtt
  This specification will define the RISC-V privilege ISA extensions required to support Supervisor Domain isolation for multi-tenant secur…
  ☆49Updated this week
• Amanieu / mini-backtrace
  Backtrace support for Rust `no_std` and embedded programs.
  ☆48Updated last year
• S2-Lab / ERASan
  ☆46Updated 9 months ago
• rustsbi / awesome-rustsbi
  A curated list of awesome things related to rustsbi
  ☆40Updated 2 years ago
• rustsbi / prototyper
  [Archived - See https://github.com/rustsbi/rustsbi/] RustSBI prototyper
  ☆12Updated 2 months ago
• au-ts / libvmm
  An experimental virtual machine monitor for the seL4 microkernel
  ☆38Updated last week
• au-ts / lionsos
  A secure, fast, and adaptable OS based on the seL4 microkernel
  ☆131Updated 2 weeks ago
• dramforever / opensbi-h
  WIP: A fork of OpenSBI, with software-emulated hypervisor extension support
  ☆38Updated 2 months ago
• arceos-org / arceos-staging
  An experimental modular OS written in Rust.
  ☆13Updated 9 months ago