genode

mirror of https://github.com/genodelabs/genode.git synced 2025-01-28 23:23:56 +00:00

History

Christian Prochaska 6a43f3c11a file system: use Id_space instead of Node_handle_registry

Fixes #2436

2017-08-17 10:59:43 +02:00

main.cc

file system: use Id_space instead of Node_handle_registry

2017-08-17 10:59:43 +02:00

README

Component writing a ROM into a file-system session

2016-04-25 10:47:59 +02:00

target.mk

rom_to_file: remove Server library

2017-02-28 12:59:30 +01:00

README

The rom_to_file component requests a ROM session and writes the content of the
ROM dataspace to a File_system. It responds to configuration and ROM-module
updates.

The name of the ROM module must be specified via the 'rom' attribute of the
components '<config>' node

! <config rom="pointer"/>

See run/rom_to_file.run for an example.