Re: L4Re::Util::Dataspace_svr
Adam Lackorzynski <[email protected]>
| Newsgroups | gmane.comp.micro-kernel.l4.devel |
|---|---|
| Message-ID | <[email protected]> |
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 [email protected] Lackorzynski http://os.inf.tu-dresden.de/~adam/