I'm happy to announce that I will be presenting Miralis at SOSP'25 in Seoul!

Our paper on Miralis got accepted to SOSP 2025 (the "Symposium on Operating Systems Principles"), which is one of the two flagship systems conferences. This is the result of more than a year and a half of work by all the contributors to the Miralis project, and the logical continuation of our previous workshop papers at KISV'24 and HotOS'25. Once again, I would like to thank all of those who helped to get to that point, this would not have been possible without you!

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 second tool, Virt-Sail, a transpiler currently under development that converts Sail code into Rust.

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. This summer we had the chance to host Sofia and Noé at the lab, they both have been doing stellar work and Miralis would be nowhere close to where it is today without them, so kudos to both of them, it has really been a pleasure to work together!

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! We are still in the very early days, but I think we already built something quite interesting, and I am looking forward to continue developing Miralis in the open.