Skip to main content

Miralis

RISC-V Virtual Firmware Monitor

See on GitHub
CAUTION - Miralis is under heavy development, it is not ready for production use and does not yet achieve all of the features promised on this page.

Firmaware-Level Isolation

Miralis enables firmware-level isolation by virtualizing M-mode software on RISC-V platforms to protect an OS from M-mode or to partition a physical machine.

Focus on Security

Miralis is built with security in mind, starting with Rust, but not only. We are currently exploring formal verification methods to prove the corectness of some of Miralis' most critical subsystems.

Open Source and Transparent

Miralis is open-source, enabling transparent operations and verifiable isolation of proprietary firmware and binary blobs.