Add new 'fs_rom' service

The 'fs_rom' service provides files stored on a file system as ROM
modules via the ROM-session interface.

Fixes #606
This commit is contained in:
Norman Feske
2013-01-12 21:27:57 +01:00
parent 7217ea14d8
commit 267817c2c5
4 changed files with 493 additions and 0 deletions

View File

@@ -292,6 +292,10 @@ Separate components:
Provides each file contained in a tar file obtained via Genode's ROM session
as separate ROM session.
:'os/src/server/fs_rom':
Provides files stored in a file system as individual ROM sessions. Please
refer to 'os/src/server/fs_rom' for more information.
:'os/src/server/iso9660':
Provides each file of an ISO9660 file system accessed via a block session as
separate ROM session.