15 Sep
2013
15 Sep
'13
4:38 p.m.
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@os.inf.tu-dresden.de
Lackorzynski http://os.inf.tu-dresden.de/~adam/