genode/base-host
Norman Feske 21de42c45d core: Introduce 'Address_space' interface
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.
2013-03-12 21:53:08 +01:00
..
etc Imported Genode release 11.11 2011-12-22 16:19:25 +01:00
include/base Remove 'Native_lock' type from 'native_types.h' 2013-02-14 13:23:36 +01:00
lib/mk base: make signal framework usable for base-hw 2013-02-22 20:28:28 +01:00
src core: Introduce 'Address_space' interface 2013-03-12 21:53:08 +01:00
README Imported Genode release 11.11 2011-12-22 16:19:25 +01:00

This repository contains dummy implementations of platform-specific Genode APIs
to enable the compilation of Genode for the host platform. Because the
repository provides only dummy implementations, most of the generated binaries
will not work. However, the repository serves two important purposes. It
documents the platform- specific APIs that must be filled out when porting
Genode to another platform, and it is the build environment for unit tests
executed on the host platform.