genode/repos/ports/src
Sebastian Sumpf 309bc2083e vbox5: raise rrtimer priority
Make sure timers run at the same priority as component threads, otherwise
no timer progress can be made. See 'rtTimeNanoTSInternalRef' (timesupref.h)
and 'rtTimerLRThread' (timerlr-generic.cpp).
2019-11-22 13:33:15 +01:00
..
app netperf: handle EPIPE / silence warnings 2019-11-19 14:54:13 +01:00
lib Streamline Timestamp::INVALID values 2019-11-21 14:26:27 +01:00
noux noux: fix condition for mtime update 2019-11-21 16:21:19 +01:00
noux-pkg ports: binutils target for ARMv8 2019-11-19 14:45:39 +01:00
test Extend fork test 2019-08-28 14:18:44 +02:00
virtualbox5 vbox5: raise rrtimer priority 2019-11-22 13:33:15 +01:00