diff --git a/README b/README index 6fb5d3942..90079e3c2 100644 --- a/README +++ b/README @@ -152,6 +152,13 @@ The Genode source tree is composed of the following subdirectories: This source-code repository contains the device-driver environment for the audio drivers of the Open Sound System (OSS). +:'dde_rump': + + This source-code repository contains the port of rump kernels, which are + used to execute subsystems of the NetBSD kernel as user level processes. + The repository contains a server that uses a rump kernel to provide + various NetBSD file systems to Genode. + :'qt4': This source-code repository contains the Genode version of Qt4 framework. diff --git a/doc/components.txt b/doc/components.txt index 39997587e..ab97dd94e 100644 --- a/doc/components.txt +++ b/doc/components.txt @@ -332,14 +332,26 @@ Separate components: A read-only file-system implementation that reads data from a TAR archive, which, in turn, is provided by a ROM service. +:'dde_rump/src/server/rump_fs': + A file-system server that contains various file-systems ported from the + NetBSD kernel. + :'os/src/server/lx_fs': A file system server that makes the file system of a Linux base platform available to Genode. +:'os/src/server/trace_fs': + A pseudo file system that can be used as a front end to core's TRACE + service. + :'os/src/server/rom_blk': Provides the content of a ROM file as a block session, similar to the loop-mount mechanism on Linux +:'os/src/server/ram_blk': + Provides the content of a RAM dataspace as a block session. In contrast + to 'rom_blk', this server provides a writeable block device. + :'os/src/server/terminal_log': Adapter for forwarding LOG messages to a terminal session.