shared dataspace for l4re_kernel/ registering additional caps in ned

Stark, Josef j.stark at
Tue Sep 16 01:51:37 CEST 2014

Hello Adam,

>If I understand correctly, I think you need to write
>caps = { ipc_gate = L4.Env.ipc_gate }
>L4.Env.ipc_gate is the cap given to the second ned by the first one, so
>it's in its environment.

thank you SO much, this works! 


More information about the l4-hackers mailing list