L4Re::Util::Dataspace_svr

Adam Lackorzynski adam at os.inf.tu-dresden.de
Tue Oct 1 00:52:08 CEST 2013


Hi,

On Sat Sep 21, 2013 at 23:24:54 +0200, Daniel Müller wrote:
> 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.

I think such abstractions are best made with the appropriate use-case,
or two. I'd guess there's at least one now...



Adam
-- 
Adam                 adam at os.inf.tu-dresden.de
  Lackorzynski         http://os.inf.tu-dresden.de/~adam/




More information about the l4-hackers mailing list