Alternatives and similar repositories for arceos-staging:

Users that are interested in arceos-staging are comparing it to the libraries listed below

• KuangjuX / hypercraft
  hypercraft is a VMM library written in Rust.
  ☆50Updated 3 months ago
• rcore-os / RVM1.5
  A Type-1.5 hypervisor written in Rust.
  ☆56Updated 9 months ago
• riscv / riscv-spmp
  The repo contains the SPMP architectural specification, which includes capabilities like access control of read/write/execute requests by…
  ☆12Updated 5 months ago
• stemnic / rustyvisor
  Hypervisor written in Rust for the RISC-V 1.0 hypervisor extension
  ☆15Updated 3 months ago
• KuangjuX / hypocaust
  hypocaust, a S-mode trap and emulate type-1 hypervisor run on RISC-V machine.
  ☆47Updated last year
• equation314 / nimbos
  An experimental RTOS written in Rust.
  ☆35Updated 2 years ago
• rustsbi / awesome-rustsbi
  A curated list of awesome things related to rustsbi
  ☆39Updated 2 years 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
• Gallium70 / rv-n-ext-impl
  ☆12Updated last year
• KuangjuX / hypocaust-2
  hypocaust-2, a type-1 hypervisor with H extension run on RISC-V machine
  ☆54Updated last year
• CharlyCst / miralis
  Miralis is an experimental system that virtualises firmware
  ☆14Updated this week
• rcore-os / RVM
  Rcore Virtual Machine
  ☆110Updated 11 months ago
• rustsbi / slides
  All public report slides, articles and meeting minutes related to RustSBI
  ☆28Updated this week
• IPADS-DuVisor / kvm-tutorial
  ☆22Updated last year
• rcore-os / rcore-user
  User programs for rCore OS
  ☆18Updated 2 years ago
• rustsbi / sbi-rt
  Simple RISC-V SBI runtime library; designated for supervisor use
  ☆22Updated last year
• hky1999 / Unishyper
  A Rust-based Unikernel Enhancing Reliability and Efficiency of Embedded Systems.
  ☆11Updated 7 months ago
• rcore-os / rboot
  The x86_64 UEFI bootloader for rCore
  ☆43Updated 2 years ago
• Oyami-Srk / RISCV-GDB-Paging
  Paging Debug tool for GDB using python
  ☆13Updated 2 years ago
• jwnhy / coffer
  Coffer is a RISC-V trusted execution environment developed in Rust.
  ☆20Updated 2 years ago
• rust-vmm / vm-fdt
  ☆15Updated 6 months ago
• rcore-os / rCore-Tutorial-v3-arm64
  Let's write an OS which can run on ARM in Rust from scratch! (🚧WIP)
  ☆16Updated 2 years ago
• au-ts / libvmm
  An experimental virtual machine monitor for the seL4 microkernel
  ☆33Updated this week
• rustsbi / standalone
  Rapid prototyping and selection package for pure-Rust RISC-V firmware, with RustSBI + UEFI or RustSBI + LinuxBoot
  ☆26Updated 3 months ago
• rcore-os / trapframe-rs
  Handle TrapFrame across kernel and user space on multiple ISAs.
  ☆31Updated 7 months ago
• rustsbi / fast-trap
  快速陷入处理
  ☆33Updated last week
• ssrg-vt / libhermitMPK
  Intra-Unikernel Isolation with Intel Memory Protection Keys
  ☆12Updated 4 years ago
• TianhuaTao / uCore-SMP
  A Symmetric Multiprocessing OS Kernel over RISC-V
  ☆30Updated 2 years ago
• jwnhy / rvbt
  Baremetal Backtracing on RISC-V
  ☆15Updated 3 years ago
• js2xxx / umi
  An RISC-V experimental OS
  ☆25Updated last year