L4Re::Util::Dataspace_svr

Daniel Müller <[email protected]> Sat, 21 Sep 2013 23:24:54 +0200

Newsgroups	gmane.comp.micro-kernel.l4.devel
Message-ID	<[email protected]>

Hello,

L4Re::Util::Dataspace_svr's copy functionality is not very flexible. It 
only works for local dataspaces which I believe is insufficient.

The problem is the "if (!src_cap.id_received())" construct in the 
L4Re::Dataspace_::Copy case in the dispatch method. Imo this should be 
something comparable to the validate_ds() method used in region_mapping_svr.

Daniel