mirror of
https://github.com/mmueller41/genode.git
synced 2026-01-21 20:42:56 +01:00
If an RM fault ends up in any trouble, the faulter remains paused and the pager activation continues with the next fault. Thus we can print a warning instead of an error and safe execution time in release mode. ref #1096