genode/repos/base/src
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.