Merlin: A Modern, Memory-Safe Kernel and Platform Merlin is a work-in-progress operating system kernel and platform, designed to explore what RISC OS might have become if reimagined with modern engineering principles.

💻 Weekend project: I finally got time to update the #MerlinOS presentation with the newest features:

paolozaino.wordpress.com/portfolio/me...

#OperatingSystem #KernelDevelopment #SystemsProgramming #EmbeddedSystems #MemorySafety #FormalVerification #OpenSource #SoftwareEngineering #LowLevel

Merlin OS: Building Trust in RISC OS Merlin with Formal Verification Methods In this article, we’ll take a look at an important new effort I am adding to my operating system, Merlin OS: formal verification, using a set of tools available to all Rust developers, as wel…

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:

paolozaino.wordpress.com/2025/08/08/m...

#OperatignSystem #rustlang #rustproof #kernel #SoftwareEngineering #CodingLife #rust #programming

RISC OS Merlin (MerlinOS) progresses weekend 02/03 August 2025

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: 👇
riscoscommunity.org/projects/ris...