From Ronald Aigner: I build a test for the IDL you sent, but could not find any error. If the task using the IPC is really a pure L4Env task, then this IDL should work. Do you still see the error if you leave L4Linux out of the boot menu?
I still have a problem on that API with current version of dice. I will give you more detail next week, as soon as get time :/. Thank you for patch. It works :).
Regards Marc