17 May
2010
17 May
'10
2:37 p.m.
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
--
Dipl.-Inf. Steffen Liebergeld <steffen@...37...>
Security in Telecommunications
TU Berlin/ Deutsche Telekom Laboratories
Ernst-Reuter-Platz 7, 10587 Berlin
Phone: +30 8353 58 263
Web: http://www.t-labs.tu-berlin.de/sect