#RISC_OS: I finally had a bit of time to upload a video with the first system boot into graphic demo for #MerlinOS It works fine on @raspberrypi 2, 3 and 4, but the video is from #QEMU which makes it easy to record both #kernel logs and Pi 2 display. Enjoy!

https://www.youtube.com/watch?v=rwhkm5-qioM

#Rust #riscos #OperatingSystem #MemorySafe

💻 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