genode/repos/os/src
Sebastian Sumpf de24035066 base: add 'wait_for_any' to 'Register_set'
This is the same as 'wait_for' with the difference that 'wait_for_any'
succeeds when *one* condition is met.

issue #3636
2020-02-10 16:00:40 +01:00
..
app app/ping: fix destination MAC on ARP replies 2020-02-04 16:12:04 +01:00
drivers base: add 'wait_for_any' to 'Register_set' 2020-02-10 16:00:40 +01:00
init New sandbox library extracted from init component 2020-02-04 15:51:09 +01:00
lib sandbox: adjust location size scaling 2020-02-07 14:14:20 +01:00
server nic_router: do not change ethernet header as hub 2020-02-10 14:21:47 +01:00
test Log key count in input test 2020-02-04 15:51:10 +01:00