Genodians
genodians.org · Group blog · on HN since 2019
Group blog of Genode developers on the Genode OS framework, Sculpt OS, C++ and Ada/Spark use, and GUI design.
What HN saysHN commenters point to it as the way to follow Genode, and link its Sculpt OS walkthrough for running it on laptops.
19HN people shared it
10linked it in comments
24stories submitted
201story points
9 months agolast shared
2019people per year2026
Most-shared posts
- 12025 01 30 sculpt os walkthrough4 people · first shared 2025
- 2Genode's Conscious C++ Dialect3 people · 2 points · first shared 2019 · discussion on HN
- 3Spunky: A Kernel Using Ada – Part 1: RPC2 people · 6 points · first shared 2019 · discussion on HN
- 4C++ and Spark as a Continuum2 people · 4 points · first shared 2019 · discussion on HN
- 5Moving on from XML? A teaser for a possible alternative2 people · 3 points · first shared 2025 · discussion on HN
- 6Genode's Browser Odyssey (2022)2 people · 1 points · first shared 2023 · discussion on HN
- 7Homepage2 people · first shared 2020
- 8Re-Stacking the GUI Stack1 people · 81 points · first shared 2020 · 2 comments on HN
- 9The ARM SoC Landscape from Genode's Perspective1 people · 53 points · first shared 2019 · 5 comments on HN
- 10Genode: FOSDEM 2024 Aftermath1 people · 12 points · first shared 2024 · 2 comments on HN
- 11Micro benchmarks – what can possibly go wrong1 people · 10 points · first shared 2020 · 1 comments on HN
- 12Genode OS: Spark as an Extremum: Components in Pure Spark1 people · 5 points · first shared 2019 · discussion on HN
- 13Genode, 4th update on Ada based Spunky kernel1 people · 5 points · first shared 2021 · discussion on HN
- 14Making the MNT Reform my own1 people · 4 points · first shared 2021 · discussion on HN
- 15A Java based network filter on i.MX6 SoloX (2019)1 people · 3 points · first shared 2019 · discussion on HN
What HN people wrote when they linked it
snvzz · 2021-05-25
Genode[0], which you can follow on the Genodians[1] blog.
[0]: https://genode.org/
[1]: https://genodians.org/
LargoLasskhyfv · 2026-01-18
There is Genode, which can run atop of seL4(amongst others).
https://genode.org/
https://genodians.org/
https://en.wikipedia.org/wiki/Genode
genodethrowaway · 2026-01-31
Published on the group blog a year and a day ago:
https://genodians.org/nfeske/2025-01-30-sculpt-os-walkthrough
iamnothere · 2025-09-26
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
nfeske · 2025-09-26
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
justinclift · 2024-10-05
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.
pjmlp · 2021-12-07
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-ker…
https://fuchsia.dev/fuchsia-src/development/languages/c-cpp/cxx
https://genodians.org/nfeske/2019-01-22-conscious-c++
nix23 · 2020-07-29
PyroLagus · 2019-06-29
> 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/
ratmice · 2019-05-29
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?