genode/repos/ports/src/noux
Christian Prochaska 3ac3236a28 Noux: 'empty' ROM service for initial ROMs
The initial ROMs (program and linker) are already attached to the region
map of a forked process and don't need to be obtained again from an
external ROM service when the 'Child' class asks for them. For the program
image, the local Noux ROM service already returned an invalid dataspace
capability, but not for the linker.

Instead of adding another 'magic' ROM name for the local ROM service,
this commit implements an 'empty' ROM service, which returns an
invalid dataspace for the initial ROMs.

Fixes #2272
2017-03-15 13:20:12 +01:00
..
minimal noux: add generic construction function 2017-02-28 12:59:32 +01:00
net noux: add generic construction function 2017-02-28 12:59:32 +01:00
args.h Adjust file headers to refer to the AGPLv3 2017-02-28 12:59:29 +01:00
child_env.h Adjust file headers to refer to the AGPLv3 2017-02-28 12:59:29 +01:00
child_policy.h Noux: 'empty' ROM service for initial ROMs 2017-03-15 13:20:12 +01:00
child.h Noux: 'empty' ROM service for initial ROMs 2017-03-15 13:20:12 +01:00
construct.h noux: add generic construction function 2017-02-28 12:59:32 +01:00
cpu_session_component.h Adjust file headers to refer to the AGPLv3 2017-02-28 12:59:29 +01:00
dataspace_registry.h Adjust file headers to refer to the AGPLv3 2017-02-28 12:59:29 +01:00
destruct_queue.h Adjust file headers to refer to the AGPLv3 2017-02-28 12:59:29 +01:00
empty_rom_service.h Noux: 'empty' ROM service for initial ROMs 2017-03-15 13:20:12 +01:00
empty_rom_session_component.h Noux: 'empty' ROM service for initial ROMs 2017-03-15 13:20:12 +01:00
environment.h Adjust file headers to refer to the AGPLv3 2017-02-28 12:59:29 +01:00
family_member.h Adjust file headers to refer to the AGPLv3 2017-02-28 12:59:29 +01:00
file_descriptor_registry.h Adjust file headers to refer to the AGPLv3 2017-02-28 12:59:29 +01:00
interrupt_handler.h Adjust file headers to refer to the AGPLv3 2017-02-28 12:59:29 +01:00
io_channel_listener.h Adjust file headers to refer to the AGPLv3 2017-02-28 12:59:29 +01:00
io_channel.h Adjust file headers to refer to the AGPLv3 2017-02-28 12:59:29 +01:00
io_receptor_registry.h Adjust file headers to refer to the AGPLv3 2017-02-28 12:59:29 +01:00
kill_broadcaster.h Adjust file headers to refer to the AGPLv3 2017-02-28 12:59:29 +01:00
local_rom_service.h Adjust file headers to refer to the AGPLv3 2017-02-28 12:59:29 +01:00
main.cc noux: add generic construction function 2017-02-28 12:59:32 +01:00
parent_execve.h Adjust file headers to refer to the AGPLv3 2017-02-28 12:59:29 +01:00
parent_exit.h Adjust file headers to refer to the AGPLv3 2017-02-28 12:59:29 +01:00
path.h Adjust file headers to refer to the AGPLv3 2017-02-28 12:59:29 +01:00
pd_session_component.h Adjust file headers to refer to the AGPLv3 2017-02-28 12:59:29 +01:00
pipe_io_channel.h Adjust file headers to refer to the AGPLv3 2017-02-28 12:59:29 +01:00
ram_session_component.h Adjust file headers to refer to the AGPLv3 2017-02-28 12:59:29 +01:00
range_checked_index.h Adjust file headers to refer to the AGPLv3 2017-02-28 12:59:29 +01:00
region_map_component.h Adjust file headers to refer to the AGPLv3 2017-02-28 12:59:29 +01:00
rom_session_component.h Noux: 'empty' ROM service for initial ROMs 2017-03-15 13:20:12 +01:00
shared_pointer.h Adjust file headers to refer to the AGPLv3 2017-02-28 12:59:29 +01:00
syscall.cc Adjust file headers to refer to the AGPLv3 2017-02-28 12:59:29 +01:00
terminal_io_channel.h Adjust file headers to refer to the AGPLv3 2017-02-28 12:59:29 +01:00
timeout_scheduler.h Adjust file headers to refer to the AGPLv3 2017-02-28 12:59:29 +01:00
user_info.h Adjust file headers to refer to the AGPLv3 2017-02-28 12:59:29 +01:00
verbose.h Adjust file headers to refer to the AGPLv3 2017-02-28 12:59:29 +01:00
vfs_io_channel.h Adjust file headers to refer to the AGPLv3 2017-02-28 12:59:29 +01:00
wake_up_notifier.h Adjust file headers to refer to the AGPLv3 2017-02-28 12:59:29 +01:00