arceos-org / arceos-staging
An experimental modular OS written in Rust.
☆12Updated 9 months ago
Alternatives and similar repositories for arceos-staging
Users that are interested in arceos-staging are comparing it to the libraries listed below
Sorting:
- hypercraft is a VMM library written in Rust.☆50Updated 6 months ago
- A Type-1.5 hypervisor written in Rust.☆62Updated 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
- An experimental RTOS written in Rust.☆36Updated 2 years ago
- hypocaust, a S-mode trap and emulate type-1 hypervisor run on RISC-V machine.☆48Updated 2 years ago
- Hypervisor written in Rust for the RISC-V 1.0 hypervisor extension☆16Updated 6 months ago
- Rapid prototyping and selection package for pure-Rust RISC-V firmware, with RustSBI + UEFI or RustSBI + LinuxBoot☆27Updated 7 months ago
- Simple RISC-V SBI runtime library; designated for supervisor use☆23Updated last year
- [Archived - See https://github.com/rustsbi/rustsbi/] RustSBI prototyper☆12Updated 3 months ago
- All public report slides, articles and meeting minutes related to RustSBI☆29Updated last week
- ☆13Updated 2 years ago
- hypocaust-2, a type-1 hypervisor with H extension run on RISC-V machine☆55Updated last year
- Paging Debug tool for GDB using python☆13Updated 2 years ago
- A curated list of awesome things related to rustsbi☆40Updated 2 years ago
- The repo contains the SPMP architectural specification, which includes capabilities like access control of read/write/execute requests by…☆16Updated 2 weeks ago
- 调试大师：你见过最强的内核调试器☆35Updated 4 years ago
- 快速陷入处理☆36Updated 3 months ago
- User programs for rCore OS☆18Updated 2 years ago
- Rcore Virtual Machine☆114Updated last year
- A Symmetric Multiprocessing OS Kernel over RISC-V☆30Updated 2 years ago
- Handle TrapFrame across kernel and user space on multiple ISAs.☆32Updated 10 months ago
- Coffer is a RISC-V trusted execution environment developed in Rust.☆20Updated 3 years ago
- Serialize & deserialize device tree binary using serde☆20Updated last month
- Low level access to BCM2837 SoC on Raspberry Pi 3 Model B/B+☆13Updated 4 years ago
- Source-level operating system debugging tool that supports debugging kernel and multiple user processes synchronously. VSCode integration…☆38Updated last month
- Rust Unikernel OS☆77Updated last week
- Miralis is a RISC-V firmware that virtualizes RISC-V firmware☆19Updated last week
- The x86_64 UEFI bootloader for rCore☆45Updated 2 years ago
- A Rust-based Unikernel Enhancing Reliability and Efficiency of Embedded Systems.☆11Updated 10 months ago
- ☆17Updated 9 months ago