mirror of
https://github.com/genodelabs/genode.git
synced 2024-12-20 22:23:16 +00:00
a4c59c03e3
The change "core: allow offset-attached managed dataspaces" addressed a corner case of the use of nested region maps. Apparently, this change negatively affects other scenarios (tool_chain_auto). In order to confidently cover all the differnt situations, this patch reworks the page-fault resolution code for improved clarity and safety, by introducing dedicated result types, reducing the use of basic types, choosing expressive names, and fostering constness. It also introduces a number of 'print' hooks that greatly ease manual instrumentation and streamlines the error messages printed by core. Those messages no longer appear when a user-level page-fault handler is reistered for the faulted-at region map. So the monitor component produces less noise on the attempt to dump non-existing memory. Issue #4917 Fixes #4920 |
||
---|---|---|
.. | ||
log.run | ||
migrate.run | ||
smp.run | ||
sub_rm.run | ||
thread.run | ||
timeout_smp.run | ||
timer_accuracy.run | ||
timer_rate.run |