Question on sending capability through IPC
haohui.mai at gmail.com
Sun Apr 1 22:16:24 CEST 2012
I'm a little bit confused by how Fiasco.OC sending capabilities through
IPC. Particularly, it seems that one has to pack the capability in message
register, rather than buffer register.
Here is a code sending some capability to the client, which works with
l4_utcb_t * u = l4_utcb();
l4_utcb_mr_u(u)->mr = ipc_id;
l4_utcb_mr_u(u)->mr = L4_ITEM_MAP;
l4_utcb_mr_u(u)->mr = l4_obj_fpage(cap, 0, L4_FPAGE_RWX).raw;
l4_utcb_br_u(u)->bdr = 0;
tag = l4_msgtag(label, 1, 1, 0);
Notice that the capability is assigned into mr and mr, but not br
It seems that this behavior is controlled by the constructor of
L4_snd_item_iter, at kern/l4_buf_iter.cpp:52
explicit L4_snd_item_iter(Utcb const *utcb, unsigned offset)
My question is that whether this is the desired behavior? I didn't find any
specification on this.
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the l4-hackers