Group blog of Genode developers on the Genode OS framework, Sculpt OS, C++ and Ada/Spark use, and GUI design.
HN commenters point to it as the way to follow Genode, and link its Sculpt OS walkthrough for running it on laptops.
> Though it is fun to rag on C++ every now and again, I believe Google's C++ style guide is a subset of features (classes, no exceptions, subset of boost,..).
Which is the same thing Genode does[1], and it has served them well. Maybe a different language like ADA/SPARK or something else would have been better, but C++ was what they're familiar with, so they made it work. Although I like Rust, it's a bad argument here. Rust has been changing a lot and is still changing, and Fuchsia wasn't started yesterday. And with C++, you could even replace critical parts with formally verified LEAN[1], which has C++ code generation and should be even safer than Rust.
[0] https://genodians.org/nfeske/2019-01-22-conscious-c++
[1] https://leanprover.github.io/
Genode developer here. Surprised seeing the project at HN, I'm very happy about the interest.
My colleagues and me are indeed using the system on a daily basis. Personally, I'm running it on an Intel-based Gen12 Framework laptop and on an i.MX8-based MNT-Reform laptop.
Earlier this year, I recorded a casual walk-through of the Genode-based Sculpt OS.
https://genodians.org/nfeske/2025-01-30-sculpt-os-walkthrough
The whole issue with Linux and C++ is political, there are other OSes that don't suffer from such issues and gladly accept templates.
https://developer.apple.com/documentation/driverkit
https://docs.microsoft.com/en-us/cpp/build/reference/kernel-create-kernel-mode-binary?view=msvc-170
https://fuchsia.dev/fuchsia-src/development/languages/c-cpp/cxx
https://genodians.org/nfeske/2019-01-22-conscious-c++
I think it does already perhaps,
http://genodians.org/alex-ab/2019-03-06-disposal-browser-vm
discusses IIUC a disposable firefox instance, running in genode, which is run in either virtual box, or seoul vmm.
Similarly some other pages say the easiest way try it is by running genode in virtual box, so I think that covers all the bases no?
PinePhone development seems to be kicking along ok?
Genode (a secure OS in development for years) seems to be working decently well with it:
• https://genode.org
• https://genodians.org/nfeske/2024-02-15-fosdem-aftermath
... though most people are running various Linux distros from what I remember.
This isn’t specific to Framework but should be similar on more or less all supported devices: https://genodians.org/nfeske/2025-01-30-sculpt-os-walkthrough
The Sculpt OS articles on genode.org also provide a thorough overview: https://genode.org/documentation/articles/index