Linked by Thom Holwerda on Fri 8th Aug 2008 20:47 UTC, submitted by ebasconp
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.
Post a Comment
Member since:
2008-05-10
Member since:2006-10-31
Member since:2007-03-04
Genode != JNode
:)
http://osnews.com/story/20168/JNode_0_2_7_Released
Member since:
2007-01-05
So it a part of TUDOS http://demo.tudos.org/
stargater
Member since:
2006-01-22
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?
RE: Is it a micro-kernel OS?
by sorpigal on Sat 9th Aug 2008 12:31 UTC
in reply to "Is it a micro-kernel OS?"
Member since:2005-11-02
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.
Member since:
2008-04-08
Member since:
2006-01-22
libsdl? http://www.libsdl.org/
What has it to do with operating systems? How is it used by the Genode OS Framework?
Member since:
2006-09-27
. 