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 <[email protected]> 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 ------------------------------------------------------------------------------ _______________________________________________ Genode-main mailing list [email protected] https://lists.sourceforge.net/lists/listinfo/genode-main
