L4Re::Util::Dataspace_svr

[Adam Lackorzynski]

Hi,

On Tue Sep 10, 2013 at 10:53:00 +0200, Daniel Müller wrote:
> I believe the Dataspace_svr dispatch function is missing a case for
> L4Re::Dataspace_::Allocate (as declared in
> l4/pkg/l4re/include/dataspace-sys.h) -- I receive this opcode and
> since there is no handling the result is a return of -L4_ENOSYS
> (which will make subsequent processing fail).
> 
> As a quick fix the attached patch works but there should probably
> also be a hook (virtual function) in the Dataspace_svr class (and
> maybe some more sophisticated default processing, not sure).

Indeed, I'll add something.


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