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.
Permalink for comment 326340
To read all comments associated with this story, please click here.
libsdl?
by panzi on Sat 9th Aug 2008 23:22 UTC
panzi
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?

Reply Score: 1