Linked by Thom Holwerda on Fri 8th Aug 2008 20:47 UTC, submitted by ebasconp
OSNews, Generic OSes 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.
Thread beginning with comment 326306
To read all comments associated with this story, please click here.
Is it a micro-kernel OS?
by fithisux on Sat 9th Aug 2008 11:12 UTC
fithisux
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?

Reply Score: 2

RE: Is it a micro-kernel OS?
by sorpigal on Sat 9th Aug 2008 12:31 in reply to "Is it a micro-kernel OS?"
sorpigal 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.

Reply Parent Score: 2