mirror of
https://github.com/genodelabs/genode.git
synced 2024-12-25 00:11:07 +00:00
13dab699b1
The requested guest-physical memory range may comprise multiple attached dataspace regions, which must all be detached. This is not required for the current vbox5 implementation, but for vbox6 as the current API suggests these semantics. This commit can be seen as intermediate fix as a real fix should change the API to prevent long-running detach loops in core that may lock out requests by other components. |
||
---|---|---|
.. | ||
core | ||
include | ||
ld | ||
lib | ||
test | ||
timer | ||
README |
This directory contains all source codes.