Hi Sculpt team, I have been watching this project for a long time. I have tried the OS on my MNT Reform. I had some confusions about how to navigate and set specific options . I was thinking a similar interface to a traditional desktop could be helpful in wrapping my head around the features . However, I did not want to impose on your vision if the Sculpt team felt strongly about their current interface. What are your thoughts ?
Genode OS Framework
31–40 of 42 posts
Re: Genode OS Framework
#32Huh. This project is still going strong. I remember playing with it ... 15 years ago, when (IIRC) for some time it was supporting microkernel I was part of the team developing (Codezero).
The Base Platform https://genode.org/documentation/platforms/index mentions mostly microkernels even older than Genode. I wonder how does the microkernel landspace looking now? Is it just done or do people still release interesting new projects nowadays? Do real deployments of Genode use typically Linux due to HW support anyway?
How is RISV support anyway?
Makes me wonder if something like Nix and Genode could be combined for some interesting properties. Reproducible, flexibly nested OSes, etc.
Re: Genode OS Framework
#33Has "genode" any meaning in English, or is it just an artistic blend of "generic" and "node" or similar? I'm asking because my brain read "Genocide OS" at the first pass, which seems a bit unfortunate.
Curious if you're a native English speaker - the "-cide" suffix has a general root meaning of "to kill", which means that words ending in it generally have the opposite connotation to the word with the suffix. E.g. "Eco" has positive connotations whereas "ecocide" has negative ones. Similarly, here "geno" would never naturally seem to have negative connotations without the suffix. Just my 2c
Well, to expand on your point, the -cide suffix is actually rooted in Latin. So, even us, non-native English speakers would sooner recognize that word as opposed to other words.
That said, the term genode is familiar to me, so I did not get the negative vibes.
Re: Genode OS Framework
#34Has "genode" any meaning in English, or is it just an artistic blend of "generic" and "node" or similar? I'm asking because my brain read "Genocide OS" at the first pass, which seems a bit unfortunate.
I've read it as "genocide" too and I scrolled down to see if there were any comments like yours. I wasn't disappointed.
Re: Genode OS Framework
#35> The framework aligns the construction principles of L4 with Unix philosophy. In line with Unix philosophy, Genode is a collection of small building blocks, out of which sophisticated systems can be composed. But unlike Unix, those building blocks include not only applications but also all classical OS functionalities including kernels, device drivers, file systems, and protocol stacks. That's very interesting, but…
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-walkthroug...
[dead]
Re: Genode OS Framework
#36Earlier quoted context omitted.
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-walkthroug...
Hey there. Came across this a while ago, but glad to see it alive & kicking. Two questions... 1. Is there going to be a disk image/installer for 25.08, or is that supposed to be self-compiled? 2. Does the OS download missing components on its own or something? The 25.04 image on the website is only 30+ MB. Thanks!
The core OS (including GUI) is surprisingly small. It will download software like the browser when you first enable it.
Re: Genode OS Framework
#37Earlier quoted context omitted.
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-walkthroug...
Do you have any articles about setting it up/running it on your Framework? Sounds really neat
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-walkthroug...
The Sculpt OS articles on genode.org also provide a thorough overview: https://genode.org/documentation/articles/index
Re: Genode OS Framework
#38Huh. This project is still going strong. I remember playing with it ... 15 years ago, when (IIRC) for some time it was supporting microkernel I was part of the team developing (Codezero). The Base Platform https://genode.org/documentation/platforms/index mentions mostly microkernels even older than Genode. I wonder how does the microkernel landspace looking now? Is it just done or do people still release interesting…
As an observer and occasional Genode user, not a Genode developer, the non-Linux option with the highest development focus is the NOVA microkernel (default for Sculpt OS), with seL4 also receiving a lot of attention. Genode on Linux is most often used for development. I am not clear on the tradeoffs between different kernels but you may ask in the forums if interested. I suspect that the (formally verified) seL4 fully works, but at a performance cost.
Re: Genode OS Framework
#39> The framework aligns the construction principles of L4 with Unix philosophy. In line with Unix philosophy, Genode is a collection of small building blocks, out of which sophisticated systems can be composed. But unlike Unix, those building blocks include not only applications but also all classical OS functionalities including kernels, device drivers, file systems, and protocol stacks. That's very interesting, but…
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-walkthroug...
that's pretty awesome, I've seen the project mentioned every so often, but I didn't realise it was that usable already!
Re: Genode OS Framework
#40Is there a preferred CI pipeline for Genode?
Oh, that's an interesting idea that could unlock a bunch of potential use cases.
If it's fairly easy to get working as part of a CI pipeline, that would let people and projects automate building their software for it. That'd be super useful for enabling adoption. :)