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 326303
To read all comments associated with this story, please click here.
i remamber
by stargater on Sat 9th Aug 2008 08:41 UTC
stargater
Member since:
2007-01-05

So it a part of TUDOS http://demo.tudos.org/

stargater

Reply Score: 1