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

Highlights:

* Source level debugging for ROM and flash images in MS VSCode
* UART debugging features that support source symbols, showing the module and line number in the source that triggered a panic
👇
https://paolozaino.wordpress.com/portfolio/merlin-a-modern-memory-safe-kernel-and-platform/#kernel-documentation
#OperatingSystem #KernelDevelopment #SystemsProgramming #EmbeddedSystems #MemorySafety #FormalVerification #OpenSource #SoftwareEngineering #LowLevelProgramming

And while on the ROOL forum people are posting of using Linux, no resurrect RISCOSE, no something else, no nothing is possible for #RISC_OS is the typical old school mindset, #ProjectMerlin runs now on #AArch64, because if we don't start doing something, nothing will ever happen.

#coding #opensource #operating_systems #arm #arm64 #programming #MerlinOS

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