Re: Server badges in Core

Am 17.05.2010 11:54, schrieb Steffen Liebergeld:

Hello friendly Genode-people,

I am having difficulties unterstanding the handling of the server badge (currently in core only)

Although I hate answering myself, I find find the answer and I am sharing it with you.

It turns out, that the badge that was submitted was invalid. I was able to circumvent this by adapting the Ipc_client::_call Method to set the badge to _dst.local_name(). This works for my scenario.

Greetings, Steffen