l4x_hybrid_return for ovlscreen driver

[Marc CHALAND]

Hi,

With Nitpicker, I try to start X server with ovlscreen driver. After a
little while, I get the following message :
l4lx    | l4x_hybrid_return: Invalid hybrid return for 23.00 (0x0688d570, e, 0,
l4lx    :  -1, f0020d5d)!
l4lx    | l4x_hybrid_return: Currently running: 00.00

After some debugging and tracing, I've found that this message happens
when X server does a rmgr_get_task_id on names. I don't understand why
this IPC fails as ping_call perfectly works (I enabled traces on
roottask and saw ping_component call).

I tried to enable IPC monitoring with I* into jdb, but I get an
assertion in Fiasco :
Assertion failed: 'this == current()'
  in /home/chaland/l4/tudos/kernel/fiasco/src/kern/context.cpp:512
  at f0023378

I don't understand what happens. Could you help me please ?

Regards
Marc