So, if you want to know what's going on this weekend with #MerlinOS (a brand new #RISC_OS redesigned from the ground up), check this blog post of mine:

https://paolozaino.wordpress.com/2025/08/08/merlin-os-building-trust-in-risc-os-merlin-with-formal-verification-methods/

#OperatingSystem #rustlang #rustproof #kernel #SoftwareEngineering #CodingLife #rust #programming #opensource

This weekend I forgot to post about the progresses on project #MerlinOS, sorry it has been a busy weekend. However lots of things, so check the thread for details, here is the current progress: 👇
https://riscoscommunity.org/projects/risc-os-merlin/

#riscos #risc_os #merlinOS