mirror of
https://github.com/genodelabs/genode.git
synced 2024-12-21 22:47:50 +00:00
f47c64e246
This patch adds the missing application of the region offset to the resolution of page faults inside managed dataspaces, which resulted in an unexpected "invalid mapping" message after attaching a managed dataspace with an offset. This limitation could be observed during the implementation of the debug monitor that locally maps a portion of the debugging target's address space, e.g., a view port of 16 MiB. All traditional uses of managed dataspaces (e.g., stack area, linker area) happened to attach the managed dataspaces from their beginning. Issue #4917 |
||
---|---|---|
.. | ||
core | ||
include | ||
ld | ||
lib | ||
test | ||
timer |