dac3efcc02
The 'continue_hw_accelerated' assertion at the end of the recall handler can fail in situations which are not problematic, for example if the 'Timer' thread has set the 'VMCPU_FF_TIMER' flag in the meantime and requested a recall afterwards. Since we don't know for sure if a recall is requested for the other flags as well, the assertion gets replaced by a debug message, which gets printed if any of the 'not yet verified as safe' flags is set. Fixes #1426 |
||
|---|---|---|
| .. | ||
| doc | ||
| include | ||
| lib | ||
| mk | ||
| ports | ||
| run | ||
| src | ||
| Makefile | ||
| README | ||
This directory contains ports of popular 3rd-party applications to Genode. The 'ports' repository follows the line of the 'libports' repository. For instructions about downloading and building 3rd-party applications, please refer to 'libports/README'. Dependencies from other repositories ------------------------------------ Application provided by the 'ports' repository typically expect a rich runtime environment, including shared libraries provided by the 'libports' repository. Hence, 'ports' depends on 'libports'.