Welcome to the Genode Community Wiki

The Genode Community Wiki is the central knowledge base for the people that contribute to or use the Genode OS Framework. Everyone is invited to participate. If you want your project to be covered by the Wiki, share your experience with others, or correct documentation errors, please consider joining our community!

For getting informed about new Wiki pages, you can subscribe to the New Pages RSS feed.

How to use Genode with different kernels

• Linux is used as the default kernel platform of the Genode OS distribution. Hence, documentation about using Genode on Linux is provided with the official distribution.
• L4ka::Pistachio is a BSD-licensed L4 microkernel developed in joint work of the University of Karlsruhe and the DiSy? Group of the University of New South Wales. It is the reference implementation of the L4 API version x.2, which is also referred to as L4 version 4. L4ka::Pistachio supports the IA32 and PowerPC? CPU architectures. Instructions about using Genode with the L4ka::Pistachio kernel are provided at the Genode on L4ka::Pistachio wiki page
• OKL4 is a microkernel that is available as commercial and Sleepycat-style licensed version. It is developed by Open Kernel Labs and deployed on mobile phones and other embedded devices. For instructions about building and using Genode with OKL4, please refer to Genode on OKL4.
• L4/Fiasco is a GPL-licensed L4 microkernel developed at the University of Technology Dresden. This kernel is optimized for low interrupt latencies. It implements the L4v2 API and supports IA32, AMD64, and ARM. For instructions about using Genode with the L4/Fiasco microkernel, please refer to Genode on Fiasco.

Supported hardware platforms and devices

• Execution on 32-bit Linux
• Native execution on IA32
• Native execution on ARM

Active projects

• Port of Genode to the L4ka::Pistachio kernel by Julian Stecklina
• Liasis RPC stub-code generator by Stefan Kalkowski
• Qt4 on Genode by Christian Prochaska

Challenges

In the scope of the Genode project, there exist a lot of challenging fields of activity. As an inspiration for students, individuals, and researchers who like to advance Genode, the Challenges page compiles a number of suggestions.