translate hardware resources into device-independent session interfaces. Naturally, a device driver is specific to a particular hardware platform. The hardware resources are accessed via core's IO_MEM, IO_PORT, and IRQ services. The functionality of the driver is made available to other system components by announcing one of Genode's device-independent session interfaces, which are pci_session, framebuffer_session, input_session, block_session, audio_out_session, log_session, nic_session, and timer_session (see os/include/ for the interface definitions). Those interfaces are uniform across hardware platforms and kernel base platforms. Usually, each device driver can accommodate only one client at a time.

provide mechanisms to multiplex device resources to multiple clients. A typical resource multiplexer requests one of Genode's device-independent session interface (usually connected to a device driver) and, in turn, announces a service of the same kind. However, in contrast to a device driver, a resource multiplexer is able to serve more than one client at the same time.

translate low-level interfaces to higher-level interfaces (or sometimes vice versa). Typically, a protocol stack comes in the form of a library, which uses a device-independent session interface as back end and provides a high-level library interface as front end. However, protocol stacks also exist in the form of distinct components that implement translations between different session interfaces.

implement functionality using APIs as provided by protocol stacks.

enable existing 3rd-party software to be executed as a Genode sub systems.

Implements the PCI-session interface using the PCI controller as found on x86 PC hardware. Using this interface, a client can probe for a particular device and request information about physical device resources (using the pci_device interface). These information are subsequently used to request respective IO_MEM, IRQ, and IO_PORT sessions at core.

Driver for the PL011 UART as found on many ARM-based platforms.

Driver for the i8250 UART as found on PC hardware.

Pseudo input driver without accessing any hardware. This component is useful to resolve a dependency from an input session for scenarios where no user input is required.

Driver for the virtual hardware provided by the user-mode version of the Fiasco kernel.

Driver for the i8042 PS/2 controller as found in x86 PCs. It supports both mouse (including ImPS/2, ExPS/2) and keyboard.

Driver for the PL050 PS/2 controller as found on ARM platforms such as VersatilePB. The physical base address used by the driver is obtained at compile time from a header file called pl050_defs.h. The version of the VersatilePB platform can be found at os/include/platform/vpb926/ and is made available to the driver via the SPECS machinery of the Genode build system.

Driver using VESA mode setting on x86 PCs. For more information, please refer to the README file in the driver directory.

Driver for the PL110/PL111 LCD display.

Serves as both framebuffer and input driver on Linux using libSDL. This driver is only usable on the Linux base platform.

Driver for the virtual framebuffer device provided by the user-mode Fiasco kernel.

USB driver that makes USB HID devices available as input sessions. For an example of using this driver, refer to the run script at linux_drivers/run/usb_hid.

PIT as time source, multi-threaded

busy time source, single-threaded

busy time source, single-threaded

PIT as time source, single-threaded

IPC timeout as time source, multi-threaded

IPC timeout as time source, single-threaded

IPC timeout as time source, single-threaded

nanosleep as time source, single-threaded

Uses ALSA as back-end on the Linux base platform.

Sound drivers for the most common PC sound hardware, ported from the Linux kernel.

Driver for ATAPI CD-ROM devices on x86 PCs.

Driver for SD-cards connected via the PL180 device as found on the PBX-A9 platform.

USB driver that makes USB storage devices available as block sessions. For an example of using this driver, refer to the run script at linux_drivers/run/usb_storage.

Driver for SATA disks on x86 PCs.

Driver that uses a Linux tap device as back end. It is only useful on the Linux base platform.

Native device driver for the LAN9118 network adaptor as featured on the PBX-A9 platform.

Device drivers ported from the iPXE project. Supported devices are Intel E1000 and pcnet32.

The MadWifi wireless stack ported from the Linux kernel.

The framebuffer and input session interfaces can be multiplexed using the Nitpicker GUI server, which allows multiple clients to create and manage rectangular areas on screen. Nitpicker uses one input session and one framebuffer session as back end and, in turn, provides so-called nitpicker sessions to one or multiple clients. Each nitpicker session contains a virtual framebuffer and a virtual input session. Nitpicker (including a README file) is located at os/src/server/nitpicker.

The audio mixer located at os/src/server/mixer enables multiple clients to use the audio-out interface. The mixing is done by simply adding and clamping the signals of all present clients.

The NIC bridge located at os/src/server/nic_bridge multiplexes one NIC session to multiple virtual NIC sessions using a proxy-ARP implementation. Each client has to obtain a dedicated IP address visible to the physical network. DHCP requests originating from the virtual NIC sessions are delegated to the physical network.

The block-device partition server at os/src/server/part_blk reads the partition table of a block session and exports each partition found as separate block session. For using this server, please refer to the run script at os/run/part_blk.

Translates a nitpicker session to a pair of framebuffer and input sessions. Each nit_fb instance is visible as a rectangular area on screen presenting a virtual frame buffer. The area is statically positioned. For more information, please refer to os/src/server/nit_fb/README.

Implements the same translation as nit_fb but by presenting an interactive window rather than a statically positioned screen area.

Provides each file contained in a tar file obtained via Genode's ROM session as separate ROM session.

Provides each file of an ISO9660 file system accessed via a block session as separate ROM session.

Provides the content of a ROM file as a block session, similar to the loop-mount mechanism on Linux

Provides a LOG session, printing log output on screen via a nitpicker session.

Redirects the standard output of the libc to Genode's LOG session interface.

Translates the BSD socket API to a NIC session using the lwIP stack.

Translates the OpenGL API to a framebuffer session using the MESA OpenGL stack and the Intel GEM GPU driver.

Translates the libSDL API to framebuffer and input sessions.

Qt4 framework, using nitpicker session and NIC session as back end.

Nitpicker client application that sets a PNG image as desktop background.

Graphical application for interactively starting and killing subsystems.

Graphical hypertext browser used for Genode's default demonstration scenario.

Example program for using OpenGL via the Gallium3D graphics stack.

Arora is a Qt4-based web browser using the Webkit engine.

Application that allows the debugging of a process via GDB over a remote connection.

Graphical application starter implemented using Qt4.

Several example applications that come with Qt4.

Is a proxy application that enables the integration of a virtual X server into a Nitpicker session on the Linux base platform.

Noux is an experimental implementation of a UNIX-like API that enables the use of unmodified command-line based GNU software. For using noux, refer to the run script ports/run/noux.run.

OKLinux is a paravirtualized Linux kernel that enables the use of Linux-based OSes as subsystems on the OKL4 kernel. For using OKLinux, refer to the run script ports-okl4/run/lx_block.run.

L4Linux is a paravirtualized Linux kernel that enables the use of Linux-based OSes as subsystems on the Fiasco.OC kernel. For using L4Linux, refer to the run script ports-foc/run/l4linux.run.