mirror of
https://github.com/genodelabs/genode.git
synced 2025-01-30 08:03:59 +00:00
21de42c45d
The new core-internal 'Address_space' interface enables cores RM service to flush mappings of a PD in which a given 'Rm_client' thread resides. Prior this patch, each platform invented their own way to flush mappings in the respective 'rm_session_support.cc' implementation. However, those implementations used to deal poorly with some corner cases. In particular, if a PD session was destroyed prior a RM session, the RM session would try to use no longer existing PD session. The new 'Address_space' uses the just added weak-pointer mechanism to deal with this issue. Furthermore, the generic 'Rm_session_component::detach' function has been improved to avoid duplicated unmap operations for platforms that implement the 'Address_space' interface. Therefore, it is related to issue #595. Right now, this is OKL4 only, but other platforms will follow.
This repository contains the implementation of Genode for the OKL4 kernel version 2.1. For further information, please refer to the following documents: :[http://genode.org/community/wiki/GenodeOnOKL4 - Genode on OKL4 Wiki page]: This Wiki page contains the information on how to build and use Genode with OKL4. :[http://genode.org/documentation/articles/genode-on-okl4 - Bringing Genode to OKL4]: This article explains the OKL4-specific porting work.