[okl4-developer] Using naming and IPC from within OK-linux

[Damien Schulz]

Hello,

I'm writing a client application for ok-linux that should be able to communicate with a l4 service via IPC. The service registers itself at the naming service to share its thread id with the client application. Unfortunately the linux client isn't able too lookup anything from the naming service and alway crashes with a segmentation fault. So is it poosible to resolve a name from within an OK-linux application? And if yes, how is it possible? Is it futhermore possible to use magpie generated code from within a wombat application to communicate with a l4 based service?

Thank you,
 ~Damien