1. Computers
  2. Display Drivers
  3. Graphics Cards
  4. Memory
  5. Motherboards
  6. Processors
  7. Software
  8. Storage
  9. Operating Systems


Facebook RSS Twitter Twitter Google Plus


Phoronix Test Suite

OpenBenchmarking.org

Genode Aims To Produce A General Purpose OS

Operating Systems

Published on 05 December 2011 07:41 AM EST
Written by Michael Larabel in Operating Systems
5 Comments

2012 could be an especially interesting year for open-source software with continued advancements in the area of open-source drivers, prominent announcements, major software releases like GIMP 2.8 and Ubuntu 12.04 LTS, and much more. Another event to look forward to next year is a new operating system release built atop the unique Genode Operating System Framework.

Last week I mentioned there was a new release of Genode (version 11.11) that brought new virtualization options support for GDB debugging, a new IPC implementation for Linux, improved support for hybrid Linux/Genode programs, L4Android integration, an updated tool-chain, and other enhancements. However, there wasn't a new Genode 11.11 Live operating system joining this release. In the past few days I've been in email contact with Norman Feske of Genode Labs about the matter.

Norman Feske has shared that they are aiming for a new operating system release next year and that they are striving to produce a general-purpose OS. "We are indeed planning a new edition, but not before February. Our plan is to give a glimpse of our vision to create a Genode-based general-purpose OS (at least from our perspective as developers). During the last year, we have made good progress but there are still some pieces missing that I'd like to include in the next live system."

No other details were given about their vision or potential features for this next release. Genode developers have already ported Gallium3D and other open-source Linux/BSD components to their platform.

For those wishing to play with Genode right now without building everything from scratch, there is an (outdated) Live OS image from last year.

If you're not familiar with Genode, below is the description of the project from their web-site.
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. Learn more about the concepts of Genode...

The Genode OS framework is the reference implementation of this architecture. Its low source-code complexity of less than 10,000 lines of code not only eases thorough evaluation but principally enables the application of formal verification methods to the code base.

Genode's targeted application domains include high-security computing, dependable systems, automotive applications, and mobile devices. Even though the Genode OS framework mainly addresses specialized applications in the mid-term, we believe that the implemented mechanisms scale well towards the needs of a general-purpose operating system.

Genode is an offspring of the L4 community. Until spring 2008, it was conducted internally within the TU Dresden OS research group. The foundation of Genode Labs by the original creators of Genode marks the transition of Genode to a community project. At present, the implementation of the Genode OS framework is not complete but it is a solid starting point for a community effort. The direction where the project is heading...

About The Author
Michael Larabel is the principal author of Phoronix.com and founded the web-site in 2004 with a focus on enriching the Linux hardware experience and being the largest web-site devoted to Linux hardware reviews, particularly for products relevant to Linux gamers and enthusiasts but also commonly reviewing servers/workstations and embedded Linux devices. Michael has written more than 10,000 articles covering the state of Linux hardware support, Linux performance, graphics hardware drivers, and other topics. Michael is also the lead developer of the Phoronix Test Suite, Phoromatic, and OpenBenchmarking.org automated testing software. He can be followed via and or contacted via .
Latest Linux Hardware Reviews
  1. CompuLab Intense-PC2: An Excellent, Fanless, Mini PC Powered By Intel's i7 Haswell
  2. From The Atom 330 To Haswell ULT: Intel Linux Performance Benchmarks
  3. AMD Radeon R9 285 Tonga Performance On Linux
  4. Apotop Wi-Copy
Latest Linux Articles
  1. AMD Moves Forward With Unified Linux Driver Strategy, New Kernel Driver
  2. MSI: Update Your BIOS From The Linux Desktop
  3. NVIDIA vs. AMD 2D Linux Drivers: Catalyst Is Getting Quite Good At 2D
  4. 15-Way GPU Comparison With Mesa 10.3 + Linux 3.17
Latest Linux News
  1. Linux 3.18-rc1 Released One Week Early With Many Changes
  2. The VC4 Gallium3D Driver Is Still Moving Along For The Raspberry Pi
  3. Direct3D 9 Support Might Land Within Mainline Mesa 3D Drivers
  4. OpenGL Preview Benchmarks For NVIDIA's GeForce GTX 970
  5. HOPE: The Ease Of Python With The Speed Of C++
  6. Vitesse: Using LLVM To Speed Up Databases
  7. AMD Is Restructuring Again, Losing 7% Of Employees
  8. Linux Testing Of The NVIDIA GeForce GTX 970
  9. Qt 5.4 Now In Beta With Web, Bluetooth LE, Graphics Improvements
  10. AMD's Radeon R9 285 On Linux Offers Good OpenCL Performance
Latest Forum Discussions
  1. AMD Is Restructuring Again, Losing 7% Of Employees
  2. Bye bye BSD, Hello Linux: A Sys Admin's Story
  3. NVIDIA Presents Its Driver Plans To Support Mir/Wayland & KMS On Linux
  4. Open-Source AMD Fusion E-350 Support Takes A Dive
  5. Upgrade to Kaveri, very slow VDPAU performance
  6. ChromeOS Drops Support For EXT2/EXT3/EXT4 File-Systems
  7. Lennart Poettering On The Open-Source Community: A Sick Place To Be In
  8. The Slides Announcing The New "AMDGPU" Kernel Driver