CharlyCst / miralis
Miralis is an experimental system that virtualises firmware
☆13Updated this week
Related projects ⓘ
Alternatives and complementary repositories for miralis
- Assured confidential execution (ACE) implements VM-based trusted execution environment (TEE) for RISC-V with focus on a formally verified…☆30Updated 3 weeks ago
- ☆14Updated 3 months ago
- hypercraft is a VMM library written in Rust.☆46Updated 3 weeks 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.☆54Updated 6 months ago
- A curated list of awesome things related to rustsbi☆38Updated 2 years ago
- This specification is integrated into the Priv. and Unpriv. specifications. This repo is no longer maintained. Please refer to the Priv. …☆85Updated last week
- Baremetal Backtracing on RISC-V☆15Updated 3 years ago
- Hypervisor written in Rust for the RISC-V 1.0 hypervisor extension☆15Updated 3 weeks ago
- This specification will define the RISC-V privilege ISA extensions required to support Supervisor Domain isolation for multi-tenant secur…☆40Updated this week
- An experimental virtual machine monitor for the seL4 microkernel☆28Updated this week
- Simple RISC-V emulator presented at Rust Nation 2023☆61Updated last year
- ☆19Updated last year
- Run integrity protected workloads in a hardware based Trusted Execution Environment.☆20Updated last week
- Backtrace support for Rust `no_std` and embedded programs.☆46Updated last year
- Pure-Rust libraries for parsing, interpreting, and analyzing LLVM☆77Updated 9 months ago
- Coffer is a RISC-V trusted execution environment developed in Rust.☆20Updated 2 years ago
- Crates for Microsoft Hypervisor ioctls and bindings☆32Updated this week
- Risc-V hypervisor for TEE development☆97Updated last year
- The Hermit bootloader.☆68Updated last week
- Simple library for decoding RISC-V instructions☆21Updated 2 months ago
- A brand new OS that runs in various kinds of TEEs and supports Linux ABI☆14Updated 3 years ago
- [WIP] A tiny RISC-V hypervisor software written in Rust☆26Updated 3 years ago
- The Hedron Microhypervisor☆75Updated last year
- ☆13Updated 2 years ago
- An experimental modular OS written in Rust.☆13Updated 3 months ago
- ELISA: Exit-Less, Isolated, and Shared Access for Virtual Machines☆18Updated last year
- ☆24Updated 2 years ago
- Ergonomic Rust framework for writing UEFI applications.☆60Updated 2 months ago
- hypocaust, a S-mode trap and emulate type-1 hypervisor run on RISC-V machine.☆44Updated last year