arceos-org / arceos-staging
An experimental modular OS written in Rust.
☆13Updated 6 months ago
Alternatives and similar repositories for arceos-staging:
Users that are interested in arceos-staging are comparing it to the libraries listed below
- hypercraft is a VMM library written in Rust.☆50Updated 3 months ago
- A Type-1.5 hypervisor written in Rust.☆56Updated 8 months ago
- hypocaust, a S-mode trap and emulate type-1 hypervisor run on RISC-V machine.☆46Updated last year
- 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
- The repo contains the SPMP architectural specification, which includes capabilities like access control of read/write/execute requests by…☆12Updated 4 months ago
- Miralis is an experimental system that virtualises firmware☆13Updated this week
- hypocaust-2, a type-1 hypervisor with H extension run on RISC-V machine☆53Updated last year
- An experimental RTOS written in Rust.☆35Updated 2 years ago
- A curated list of awesome things related to rustsbi☆39Updated 2 years ago
- Rcore Virtual Machine☆110Updated 10 months ago
- All public report slides, articles and meeting minutes related to RustSBI☆28Updated this week
- ☆12Updated last year
- Hypervisor written in Rust for the RISC-V 1.0 hypervisor extension☆15Updated 3 months ago
- Let's write an OS which can run on ARM in Rust from scratch! (🚧WIP)☆15Updated 2 years ago
- a Rust Hypervisor for mission-critical system☆52Updated 2 weeks ago
- 快速陷入处理☆32Updated 2 years ago
- A Rust-based Unikernel Enhancing Reliability and Efficiency of Embedded Systems.☆11Updated 7 months ago
- Risc-V hypervisor for TEE development☆106Updated last year
- Rapid prototyping and selection package for pure-Rust RISC-V firmware, with RustSBI + UEFI or RustSBI + LinuxBoot☆26Updated 3 months ago
- ☆22Updated last year
- Simple RISC-V emulator presented at Rust Nation 2023☆61Updated last year
- Paging Debug tool for GDB using python☆13Updated 2 years ago
- Rust Unikernel OS☆67Updated last week
- Baremetal Backtracing on RISC-V☆15Updated 3 years ago
- Let's write an x86 hypervisor in Rust from scratch!☆152Updated last year
- ☆28Updated 2 years ago
- Coffer is a RISC-V trusted execution environment developed in Rust.☆20Updated 2 years ago
- 2024春夏季训练营第三阶段-虚拟化方向☆37Updated 8 months ago
- An experimental virtual machine monitor for the seL4 microkernel☆33Updated this week
- Hardware-assisted Dynamic Information Flow Tracking for Runtime Protection on RISC-V☆8Updated last year