genode

History

Christian Helmuth e63c5e6c69 base: rework interplay of signal-proxy and entrypoint The former scheme left open a race window between _process_incoming_signals() and wait_and_dispatch_one_io_signal() resulting in both threads calling block_for_signal() and blocking forever with one unprocessed signal. Fixes #3704		2020-04-17 12:39:32 +02:00
..
core	core: add kernel-specific UTCB quota bookkeeping	2020-02-20 12:11:21 +01:00
include	base: lay groundwork for base-linux caps change	2020-02-27 14:46:58 +01:00
ld	base: add entry to .dynanmic section in genode_dyn.ld	2019-11-19 14:45:40 +01:00
lib	base: rework interplay of signal-proxy and entrypoint	2020-04-17 12:39:32 +02:00
test	depot_autopilot: test case for entrypoint	2020-04-17 12:39:32 +02:00
timer	timeout: use uint64_t for all plain time values	2019-05-06 16:15:26 +02:00
README	Move repositories to 'repos/' subdirectory	2014-05-14 16:08:00 +02:00

This directory contains all source codes.