genode/repos/ports/src/app
Norman Feske 7791937e84 init: reduce report latency for resource requests
In contrast to most information of init's state reports, which can be
monitored at a relatively low rate (like 2 seconds in Sculpt's runtime),
resource requests call for an immediate response by the consumer of the
report. Otherwise the requesting child stays unnecessarily blocked until
the next rate-limited state report is due. This patch adds a fast lane
for such low-latency state updates to init.
2018-06-12 12:11:38 +02:00
..
arora depot: qt5 recipes 2018-05-30 12:26:19 +02:00
dosbox Rename lwip library to lwip_legacy 2018-05-30 13:36:22 +02:00
gdb_monitor init: reduce report latency for resource requests 2018-06-12 12:11:38 +02:00
jdk jdk: OpenJDK for Genode 2018-05-30 13:36:07 +02:00
lighttpd Exclude higher-level repos from strict warnings 2018-01-17 12:14:36 +01:00
netperf Exclude higher-level repos from strict warnings 2018-01-17 12:14:36 +01:00
openvpn Exclude higher-level repos from strict warnings 2018-01-17 12:14:36 +01:00
seoul os: new Input::Event representation 2018-05-03 15:31:25 +02:00
stubby Port of getdns and Stubby DNS resolver 2018-05-03 15:31:58 +02:00
verify verify: propagate error on corrupted .sig files 2018-02-28 11:04:58 +01:00