The Genode OS framework, the reference implementation of the Genode operating system architecture, has seen its first release. “Genode is a novel operating-system architecture that enables dynamic workload while retaining security and robustness. The fundamental difference of Genode compared to other OS architectures is its strict organizational structure, which allows the execution of sensitive applications with a trusted computing base of a few thousand lines of code beside high-complexity workload. With its organizational approach, the architecture facilitates a clean separation of policies and mechanisms, and enables the definition and application of system policies in a natural and distributed fashion.” The Genode OS Framework runs on Linux via libSDL, or on real hardware on top of the L4/Fiasco microkernel.
I guess they couldn’t choose a better name, eh?
At least they didn’t call it JNode, that would have been a dumb name…
Genode != JNode
🙂
http://osnews.com/story/20168/JNode_0_2_7_Released
So it a part of TUDOS http://demo.tudos.org/
stargater
Hi all in this thread I would ike to ask some questions
1. Is it a ukernel OS?
2. Is it posix compliant?
3. Are the drivers user space processes? (I do not care that much on performance)
4. Does it have some linux or bsd compatibility layer?
5. Is it supposed to be like Hurd do they share common code?
The answers are readily available: http://genode.org/documentation/architecture, http://genode.org/documentation/api/base_index
1: Yes
2: No
3: Yes
4: Sort of.
5: Not really and no.
That is *twice* now that I’ve seen the title and read “Google OS Framework 8.08 Released”.
Anyone else?
libsdl? http://www.libsdl.org/
What has it to do with operating systems? How is it used by the Genode OS Framework?
Hey, this is great. It has a GUI and all .
For those interested, just checkout the svn as described, and then follow the instructions in:
/genode/trunk/doc/getting_started.txt
Thanks for your questions. I started an FAQ page in our community wiki to answer them.
http://genode.org/community/wiki/FAQ
Edited 2008-08-11 15:16 UTC