Hi again,
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).
Thanks, Daniel