how to transfer capabilities from server to client

Yuxin Ren ryx at
Fri Jun 6 20:46:33 CEST 2014

I have some questions about the map_iro code.

1.  In this example, server maps the capability in the client to itself?
2. In the server code, there are two "caps rcv_cap" and "tmp".  Why do we
use tmp here?
     Can't we only use the rcv_cap to receive the capability?
3. Finally, in the server, where is the capability is mapped in? tmp or

Thanks a lot.

On Thu, Jun 5, 2014 at 5:51 PM, Björn Döbel <doebel at>

> Hi,
> > I want to write some code to transfer capabilities from server to client.
> > But I have no idea how to do this as I am not familiar with L4Re and its
> > interface.
> > Could anyone give me some example code or some hints?
> please have a look at l4/pkg/examples/sys/map_irq
> Kind regards,
> Bjoern
> _______________________________________________
> l4-hackers mailing list
> l4-hackers at
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <>

More information about the l4-hackers mailing list