mirror of
https://github.com/genodelabs/genode.git
synced 2025-01-31 00:24:51 +00:00
7f1692b3ca
This commit solves several issues: * correct calculation of overlap region when detaching regions in managed dataspaces * prevent unmap of Fiasco.OC's core log buffer * calculate the core-local address of regions in managed dataspaces if possible at all and use it to unmap on kernels where this is needed Fix #976 Fix #3082