adam at os.inf.tu-dresden.de
Sun Sep 15 16:38:22 CEST 2013
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.
Adam adam at os.inf.tu-dresden.de
More information about the l4-hackers