ehmry/genode
ehmry/genode
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
568865bde0
genode/repos/ports/src/noux
History
Sebastian Sumpf 568865bde0 noux: remove contexts from Vfs_io_channel 
Channels, and therefore contexts, may be shared between children
causing corruption when a child is destroyed while another child still
uses the old context within the channel.

related to #2601
2017-12-21 15:01:35 +01:00
..
minimal noux: add generic construction function 2017-02-28 12:59:32 +01:00
net ldso: defer execution of static constructors 2017-03-24 16:20:04 +01:00
args.h Integrate core's RAM service into the PD service 2017-05-31 13:16:14 +02:00
child_env.h Adjust file headers to refer to the AGPLv3 2017-02-28 12:59:29 +01:00
child_policy.h Integrate core's RAM service into the PD service 2017-05-31 13:16:14 +02:00
child.h Noux: fix race condition on Vfs_io_channel destruction 2017-10-05 17:39:56 +02: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 Integrate core's RAM service into the PD service 2017-05-31 13:16:14 +02:00
destruct_queue.h Adjust file headers to refer to the AGPLv3 2017-02-28 12:59:29 +01:00
empty_rom_service.h Streamline exception types 2017-05-31 13:16:07 +02:00
empty_rom_session_component.h Noux: 'empty' ROM service for initial ROMs 2017-03-15 13:20:12 +01:00
environment.h Integrate core's RAM service into the PD service 2017-05-31 13:16:14 +02: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 VFS: nonblocking interface 2017-08-28 16:49:38 +02:00
main.cc noux: remove contexts from Vfs_io_channel 2017-12-21 15:01:35 +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 noux: attach linker area as executable area 2017-11-09 12:18:44 +01:00
pipe_io_channel.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 noux: attach executable memory as such 2017-10-20 11:45:20 +02:00
rom_session_component.h VFS: nonblocking interface 2017-08-28 16:49:38 +02:00
shared_pointer.h Adjust file headers to refer to the AGPLv3 2017-02-28 12:59:29 +01:00
syscall.cc noux: remove contexts from Vfs_io_channel 2017-12-21 15:01:35 +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 noux: remove contexts from Vfs_io_channel 2017-12-21 15:01:35 +01:00
wake_up_notifier.h Adjust file headers to refer to the AGPLv3 2017-02-28 12:59:29 +01:00