CharlyCst / miralis
Miralis is an experimental system that virtualises firmware
☆13Updated this week
Alternatives and similar repositories for miralis:
Users that are interested in miralis are comparing it to the libraries listed below
- ☆15Updated 6 months ago
- hypercraft is a VMM library written in Rust.☆50Updated 3 months ago
- 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
- A Type-1.5 hypervisor written in Rust.☆56Updated 8 months ago
- Hypervisor written in Rust for the RISC-V 1.0 hypervisor extension☆15Updated 3 months ago
- An experimental modular OS written in Rust.☆13Updated 6 months ago
- hypocaust, a S-mode trap and emulate type-1 hypervisor run on RISC-V machine.☆46Updated last year
- ☆12Updated last year
- ☆28Updated 2 years ago
- Simple RISC-V emulator presented at Rust Nation 2023☆61Updated last year
- This specification will define the RISC-V privilege ISA extensions required to support Supervisor Domain isolation for multi-tenant secur…☆42Updated last month
- The repo contains the SPMP architectural specification, which includes capabilities like access control of read/write/execute requests by…☆12Updated 4 months ago
- Crates for Microsoft Hypervisor ioctls and bindings☆32Updated this week
- Assured confidential execution (ACE) implements VM-based trusted execution environment (TEE) for RISC-V with focus on a formally verified…☆38Updated this week
- Rapid prototyping and selection package for pure-Rust RISC-V firmware, with RustSBI + UEFI or RustSBI + LinuxBoot☆26Updated 3 months ago
- This specification is integrated into the Priv. and Unpriv. specifications. This repo is no longer maintained. Please refer to the Priv. …☆86Updated last month
- Baremetal Backtracing on RISC-V☆15Updated 3 years ago
- Risc-V hypervisor for TEE development☆106Updated last year
- WIP: A fork of OpenSBI, with software-emulated hypervisor extension support☆35Updated last year
- Rust support for RISC-V Platform-Level Interrupt Controller☆10Updated 2 years ago
- Backtrace support for Rust `no_std` and embedded programs.☆48Updated last year
- A curated list of awesome things related to rustsbi☆39Updated 2 years ago
- Pure-Rust libraries for parsing, interpreting, and analyzing LLVM☆80Updated last year
- Simple library for decoding RISC-V instructions☆21Updated 5 months ago
- Sled System Emulator☆28Updated 2 months ago
- RustSBI prototyper☆11Updated last week
- 遍历设备树二进制对象☆12Updated last year
- ☆20Updated last year
- User programs for rCore OS☆18Updated 2 years ago
- [WIP] A tiny RISC-V hypervisor software written in Rust☆27Updated 4 years ago