mirror of
https://github.com/genodelabs/genode.git
synced 2025-06-24 01:28:48 +00:00
Replace _map_local and _unmap_local in the I/O mem session component by _acquire and _release. The _acquire and _release must be implemented per base-<kernel>. The commit is a preparation commit for seL4, so that it can implement _acquire differently in a subsequent commit to solve #5597 actually. Issue #5597
This repository contains the L4ka::Pistachio-specific parts of Genode.