mirror of
https://github.com/genodelabs/genode.git
synced 2025-01-16 09:50:18 +00:00
db56946ba9
By blocking on a timeout, we yield the CPU in order to give a concurrently running sporadic process a chance to obtain ROM modules. Otherwise, such requests would be deferred until the ROM prefetcher completes its operation or in the unlikely event that the prefetcher gets preempted. Fixes #1378 |
||
---|---|---|
.. | ||
main.cc | ||
target.mk |