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 via one of Genode's device-independent session interfaces, which are platform_session, capture_session, event_session, block_session, record_session, play_session, log_session, uplink_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 accommodates 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.

https://github.com/orgs/genodelabs/repositories

Platform drivers for various platforms. On x86, the platform driver uses the PCI controller as found on x86 PC hardware. A client can probe for a particular device and request information about physical device resources (using the platform_device interface). I/O resources for MMIO regions, I/O ports, and interrupts can be requested by the provided device abstraction.

On x86 platforms that use the APIC (namely Fiasco.OC, NOVA, and hw_x86_64) this simple ACPI parser traverses the ACPI tables and reports device-resource information (e.g., interrupt lines of PCI devices).

A component that reports the physical information about PCI devices after parsing and initializing the PCI bus. The reported information is usually consumed by the platform driver.

A component that parses SMBIOS information on x86 platforms and makes the result available as a report.

In addition to our ACPI base driver, the acpica component uses the ACPICA library to provide access to dynamic functions like battery states, events (e.g., notebook lid close and power buttons), as well as reset and power off. The componenten reports ACPI events and states as reports and itself responds to system state changes of certain configuration ROMs.

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

Driver for the i8250 UART as found on PC hardware.

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 boot-time initialized framebuffers (e.g., UEFI GOP) discovered from the platform_info ROM

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 Virtio virtual graphics device as supported by Qemu.

An Intel Graphics GPU multiplexer for Broadwell and newer.

Framebuffer driver for Intel i915 compatible graphic cards based on the Linux Intel KMS driver.

USB host-controller driver that provides an USB session interface to USB drivers.

USB Human Interface Device driver using the USB session interface.

NOVA kernel semaphores

Programmable Interval Timer (PIT) device

IPC timeout

IPC timeout

Programmable Interval Timer (PIT) device

nanosleep()

kernel timer

PIT on x86, EPIT on Wandboard

Uses ALSA as back-end on the Linux base platform and supports only playback.

Sound drivers ported from OpenBSD. Currently, the repository includes support for Intel HD Audio as well as for Ensoniq AudioPCI (ES1370) compatible sound cards.

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

Driver for SATA disks and CD-ROMs on x86 PCs.

Driver for NVMe block devices on x86 PCs.

USB Mass Storage Bulk-Only driver using the USB session interface and provides a block-session interface.

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 PC NIC-driver component uses network driver code of the Linux kernel to drive common network cards as found in commodity PC hardware.

The wifi driver component is a port of the Linux mac802.11 stack, including the iwlwifi driver. It enables the use of Intel Wireless 6xxx and 7xxx cards.

USB network driver using the USB session interface.

Framebuffer and input devices can be multiplexed using the Nitpicker GUI server, which allows multiple clients to create and manage rectangular areas on screen. Nitpicker serves as broker between input devices, output devices, and graphical applications. It provides an event service for input drivers, a capture service for output drivers, and a GUI service for the applications. Each GUI session contains a virtual framebuffer and a virtual input interface. Nitpicker (including a README file) is located at os/src/server/nitpicker/.

The audio mixer located at os/src/server/record_play_mixer/ allows for the routing and mixing of audio signals from play-session clients to record-session 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 NIC router located at os/src/server/nic_router/ multiplexes one NIC session to multiple virtual NIC sessions by applying network address translation (NAT).

The NIC-uplink component located at os/src/server/nic_uplink/ connects a NIC client directly to a network driver (as uplink client) without routing.

The block-device partition server at os/src/server/part_block/ 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_block.run.

The VFS file-system server allows multiple clients to concurrently access the same virtual file system. It is located at os/src/server/vfs/. The VFS can be assembled out of several builtin file-system types (like a RAM file system, or pseudo file systems for various Genode session interfaces) as well as external plugins such as rump (mounting file systems supported by the NetBSD kernel).

The terminal_mux service located at gems/src/server/terminal_mux/ is able to provide multiple terminal sessions over one terminal-client session. The user can switch between the different sessions using a keyboard shortcut, which brings up an ncurses-based menu.

Translates a GUI session to a pair of framebuffer and input sessions. Each gui_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/gui_fb/README.

Window manager that implements the GUI session interface but manages each client view as a separate window. The window decorations are provided by a so-called decorator (e.g., gems/src/app/decorator/). The behaviour is defined by a so-called window layouter such as the floating window layouter located at gems/src/app/floating_window_layouter/.

Implements the same translation as gui_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.

A file system server that makes the file system of a Linux base platform available to Genode.

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

Adapter for forwarding LOG messages to a terminal session.

Adapter for forwarding terminal output to a LOG session.

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

The rom_logger component requests a ROM session and writes the content of the ROM dataspace to the LOG.

The ROM filter provides a ROM module that depends on the content of other ROM modules steered by the filter configuration, e.g., dynamic switching between configuration variants dependent on the state of the system.

Provides terminal sessions that target files on a file system.

Provides a terminal session via a graphical terminal using a framebuffer session and an input session.

Provides one or multiple terminal sessions over TCP connections. For further information, refer to gems/src/server/tcp_terminal/README.

The terminal crosslink service allows to terminal clients to talk to each other.

A ROM service that translates the File_system session interface to the ROM session' interface. Each request for a ROM file is handled by looking up an equally named file on the file system. Please refer to os/src/server/fs_rom/ for more information.

For use cases where ROMs are known to be static, the os/src/server/cached_fs_rom/ can be considered as a faster alternative to the regular fs_rom server. Note that cached_fs_rom is not supported in base-linux though.

An intermediate file-system server that makes a sub directory of a file system available as the root of a file system handed out to its client.

A simple ROM service that provides ROM modules that change in time according to a configured timeline.

A service that implements both the report session interface and the ROM session interface. It reflects incoming reports as ROM modules.

Report server that writes reports to file-systems

This component is both a report service and a ROM service. The clients of the report service can issue new clipboard content, which is then propagated to the clients of the ROM service according to a configurable information-flow policy.

A component that transforms and merges input events from multiple sources into a single event stream.

A component that transforms ACPI events into Genode input events.

A wrapper for nitpicker's GUI session interface that applies alpha-blending to the of views a GUI client.

Mockup implementation of Genode session interfaces.

Port of the Linux implementation of the WireGuard VPN as Genode component.

A VFS plugin that allows for packet-level access of a NIC or uplink session.

A VFS plugin that makes core's TRACE service accessible as a pseudo file system.

A VFS plugin that pre-populates a VFS with initial content.

A VFS plugin that provides bi-directional pipes for exchanging streamed data between components.

A VFS plugin that makes rendered pixel data of the glyphs of Truetype fonts available as a pseudo file system.

A VFS plugin that provides random numbers based on the jitter of executing CPU instructions.

A VFS plugin that uses the light-weight IP (lwIP) stack to provide a network socket interface as a pseudo file system.

A VFS plugin that uses the TCP/IP stack ported from the Linux kernel to provide a network socket interface as a pseudo file system.

A VFS plugin that allows for the mounting of FAT-formatted block devices.

A VFS plugin for the interaction with raw network packets.

A VFS plugin that enables the use of NetBSD's file-system drivers such as ext2 or msdos.

C runtime ported from FreeBSD.

Standard C++ library

Mesa OpenGL API with backends for software rasterization (egl_swrast) and Intel Graphics (egl_i965)

PDF rendering engine.

Library for implementing pseudo-graphical applications (i.e., VIM) that run on a text terminal.

Qt6 application framework.

A VFS plugin that makes a jitter-based random-number generator available as a file within the process-local VFS.

Library providing a common interface to a variety of archive formats.

Library for processing LZ4 lossless compression archives.

Library for processing LZMA archives.

GnuPG library for OpenPGP processing, e.g., signature verification.

GUI client application that sets a composition of PNG images as desktop background.

Graphical application for interactively starting and killing subsystems.

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

Variant of init that allows for the debugging of components via GDB over a remote connection.

Graphical application starter implemented using Qt.

Several example applications that come with Qt.

Simple utility to serialize the execution of multiple components

Ports of popular commandline-based Unix software such as VIM, bash, coreutils, binutils, gcc, findutils, and netcat. The programs are supposed to be executed within the Noux runtime environment.

Lighttpd is a fast and feature-rich web server. The port of lighttpd uses a file-system session to access the website content and the web-server configuration.

Convenient, runtime-configurable frontend to the tracing facility.

The ROM-reporter component requests a ROM session and reports the content of the ROM dataspace to a report session with the same label as the ROM session.

Component transforming core and kernel output to Genode LOG output.

Tool for querying subsystem information from a depot.

Tool for managing the download of depot content.

Subsystem init configuration generator based on blueprints.

Tool for the orderly removal of depot content.

A runtime-configurable frontend to the libcURL library for downloading content.

Tool for extracting archives using libarchive.

This component verifies detached OpenPGP signatures using libgcrypt.

A service that allows the creation and destruction of Genode subsystems via a session interface. For further information, refer to os/src/server/loader/README.

VirtualBox running on top of the NOVA hypervisor.

A virtual machine monitor that is based on hardware-assisted virtualization of ARM platforms. It is supported on the base-hw kernel only.

The CPU balancer intercepts the interaction of components with core's low-level services to migrate threads dynamically between CPU cores.