ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2025-01-01 11:36:43 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity
d649451c3d
genode/repos/os/src/server
History
Norman Feske d649451c3d fs_rom: trigger deferred ROM-update signal 
This patch ensures that fs_rom delivers a ROM-update notification in the
case where the underlying file was changed in-between requesting the
initial ROM content and registering the signal handler.
2017-08-17 10:59:43 +02:00
..
blk_cache base: classify signals as I/O and application level 2017-05-31 13:15:58 +02:00
clipboard Adjust file headers to refer to the AGPLv3 2017-02-28 12:59:29 +01:00
dynamic_rom Streamline exception types 2017-05-31 13:16:07 +02:00
fs_log file system: use Id_space instead of Node_handle_registry 2017-08-17 10:59:43 +02:00
fs_report server/fs_report: do not append '.report to file names 2017-06-29 11:59:56 +02:00
fs_rom fs_rom: trigger deferred ROM-update signal 2017-08-17 10:59:43 +02:00
input_filter os/timer: interpolate time via timestamps 2017-05-31 13:16:11 +02:00
input_merger Streamline exception types 2017-05-31 13:16:07 +02:00
iso9660 Streamline exception types 2017-05-31 13:16:07 +02:00
loader Integrate core's RAM service into the PD service 2017-05-31 13:16:14 +02:00
log_report Adjust file headers to refer to the AGPLv3 2017-02-28 12:59:29 +01:00
log_terminal Adjust file headers to refer to the AGPLv3 2017-02-28 12:59:29 +01:00
lx_fs file system: use Id_space instead of Node_handle_registry 2017-08-17 10:59:43 +02:00
mixer Streamline exception types 2017-05-31 13:16:07 +02:00
nic_bridge Integrate core's RAM service into the PD service 2017-05-31 13:16:14 +02:00
nic_dump os: removal of deprecated os/config.h (fix #2431) 2017-05-31 13:16:22 +02:00
nic_loopback Replace Quota_exceeded by Insufficient_ram_quota 2017-05-31 13:16:05 +02:00
nic_router os: removal of deprecated os/config.h (fix #2431) 2017-05-31 13:16:22 +02:00
nit_fb Adjust file headers to refer to the AGPLv3 2017-02-28 12:59:29 +01:00
nitpicker Streamline exception types 2017-05-31 13:16:07 +02:00
part_blk os: removal of deprecated os/config.h (fix #2431) 2017-05-31 13:16:22 +02:00
ram_blk Streamline exception types 2017-05-31 13:16:07 +02:00
ram_fs file system: track content via version counter 2017-08-17 10:59:43 +02:00
report_rom Streamline exception types 2017-05-31 13:16:07 +02:00
rom_blk Streamline exception types 2017-05-31 13:16:07 +02:00
rom_filter rom_filter: fix compilation with GCC 6 2017-05-31 13:15:52 +02:00
rom_prefetcher Adjust file headers to refer to the AGPLv3 2017-02-28 12:59:29 +01:00
tar_rom Streamline exception types 2017-05-31 13:16:07 +02:00
terminal_crosslink terminal_crosslink: prevent deprecated warning 2017-03-15 12:24:43 +01:00
terminal_log Replace Quota_exceeded by Insufficient_ram_quota 2017-05-31 13:16:05 +02:00
trace_fs file system: use Id_space instead of Node_handle_registry 2017-08-17 10:59:43 +02:00
tz_vmm base: remove include/spec/* other than ISA 2017-05-31 13:16:01 +02:00
vfs file system: use Id_space instead of Node_handle_registry 2017-08-17 10:59:43 +02:00
vmm base: remove include/spec/* other than ISA 2017-05-31 13:16:01 +02:00