Genode, an L4-based operating system framework
Posted by Ken Y-N on November 12th, 2008 at 11:54am
The L4 operating system and its derivatives are finding their ways into many projects, from TECOM to HTC’s Android, and joining the fray is Genode, a high security, robust, and deterministic OS.
This has recently been released as a ready-to-go Live CD for testing out, running on Qemu, VirtualBox, and assorted native PC hardware.
In detail, Genode explain their system thus:
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. Genode’s resource-management concept enables highly dynamic workload but still retains deterministic behaviour normally only found in statically configured systems.”
Read the full story on OS News here, and give the software a whirl, if you feel brave enough!
Leave a Comment for Genode, an L4-based operating system framework