Genode OS Framework
genode.org
Genode OS Framework
1–10 of 42 posts
Re: Genode OS Framework
#2That's very interesting, but does it actually work in practice?
Re: Genode OS Framework
#3> 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…
> Sculpt is an open-source general-purpose OS. It combines Genode's microkernel architecture, capability-based security, sandboxed device drivers, and virtual machines in a novel operating system for commodity PC hardware and the PinePhone. _Sculpt is used as day-to-day OS by the Genode developers_.
Re: Genode OS Framework
#4> 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…
Re: Genode OS Framework
#5I'm asking because my brain read "Genocide OS" at the first pass, which seems a bit unfortunate.
Re: Genode OS Framework
#6Has "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.
Re: Genode OS Framework
#7Re: Genode OS Framework
#8Re: Genode OS Framework
#9Has "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.
Re: Genode OS Framework
#10> 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…
Or to see something recent, there's a developer talk about it (~2 weeks ago) that's pretty informative: