Miralis at SOSP'2025
I'm happy to announce that I will be presenting Miralis at SOSP'25 in Seoul!
Miralis Blog
Miralis Blog
Latest posts
Fall 2024 progress report
The year concludes with the addition of 300 commits to Miralis and successful deployment of Debian running securely on ACE with a policy that isolates the linux kernel from the OpenSBI firmware (see image below). We can run the classical commands There have been some changes in the composition of the Miralis team, Frédéric and I are replacing Sofia and Noé. Additionally, we have open-sourced a…
Summer 2024 progress report
Three months and 110 commits after the open-sourcing of Miralis we have come a long way, and now sounds like a good time for our first ever progress report.
Hello, world!
I am glad to announce that today we open-sourced Miralis, a project I have been working on for the last six months together with some awesome people!