Alternatives and similar repositories for miralis:

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

• 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
• rust-vmm / vm-fdt
  ☆16Updated 8 months ago
• KuangjuX / hypocaust
  hypocaust, a S-mode trap and emulate type-1 hypervisor run on RISC-V machine.
  ☆48Updated 2 years ago
• riscv / riscv-spmp
  The repo contains the SPMP architectural specification, which includes capabilities like access control of read/write/execute requests by…
  ☆14Updated last week
• rivosinc / salus
  Risc-V hypervisor for TEE development
  ☆112Updated last year
• KuangjuX / hypercraft
  hypercraft is a VMM library written in Rust.
  ☆50Updated 5 months ago
• stemnic / rustyvisor
  Hypervisor written in Rust for the RISC-V 1.0 hypervisor extension
  ☆16Updated 5 months ago
• rcore-os / RVM1.5
  A Type-1.5 hypervisor written in Rust.
  ☆60Updated 10 months ago
• riscv / riscv-cfi
  This specification is integrated into the Priv. and Unpriv. specifications. This repo is no longer maintained. Please refer to the Priv. …
  ☆86Updated last month
• riscv / riscv-smmtt
  This specification will define the RISC-V privilege ISA extensions required to support Supervisor Domain isolation for multi-tenant secur…
  ☆47Updated last week
• arceos-org / arceos-staging
  An experimental modular OS written in Rust.
  ☆13Updated 8 months ago
• jwnhy / coffer
  Coffer is a RISC-V trusted execution environment developed in Rust.
  ☆20Updated 3 years ago
• ARM-software / cca-rmm-acs
  Tests for verifying compliance of RMM implementations
  ☆18Updated last month
• IBM / ACE-RISCV
  Assured confidential execution (ACE) implements VM-based trusted execution environment (TEE) for RISC-V with focus on a formally verified…
  ☆44Updated this week
• seL4 / rust-sel4
  Rust support for seL4 userspace
  ☆139Updated this week
• rustsbi / standalone
  Rapid prototyping and selection package for pure-Rust RISC-V firmware, with RustSBI + UEFI or RustSBI + LinuxBoot
  ☆27Updated 5 months ago
• Amanieu / a-tale-of-binary-translation
  Simple RISC-V emulator presented at Rust Nation 2023
  ☆62Updated 2 years ago
• Gallium70 / rv-n-ext-impl
  ☆12Updated last year
• riscv-non-isa / riscv-uefi
  ☆29Updated 2 years ago
• YdrMaster / dtb-walker
  遍历设备树二进制对象
  ☆12Updated last year
• CTSRD-CHERI / sail-cheri-riscv
  CHERI-RISC-V model written in Sail
  ☆58Updated last week
• riscv-non-isa / riscv-ap-tee
  This repo holds the work area and revisions of the non-ISA specification created by the RISC-V AP-TEE TG. This specification defines the …
  ☆53Updated 2 weeks ago
• riscv-non-isa / riscv-security-model
  RISC-V Security Model
  ☆30Updated last week
• novafacing / qemu-rs
  QEMU for Rust, and Rust for QEMU
  ☆64Updated this week
• yasukata / ELISA
  ELISA: Exit-Less, Isolated, and Shared Access for Virtual Machines
  ☆19Updated last year
• woodruffw / mollusc
  Pure-Rust libraries for parsing, interpreting, and analyzing LLVM
  ☆80Updated last year
• rust-vmm / mshv
  Crates for Microsoft Hypervisor ioctls and bindings
  ☆36Updated this week
• hermit-os / loader
  The Hermit bootloader.
  ☆74Updated this week
• nbdd0121 / r2vm
  Rust RISC-V Virtual Machine
  ☆96Updated 4 months ago
• keystone-enclave / sm
  Keystone security monitor library for opensbi (Discountinued after monorepo-izing)
  ☆13Updated 2 years ago