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
_______________________________________________
l4-hackers mailing list
[email protected]
http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers
