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