shared dataspace for l4re_kernel/ registering additional caps in ned

[Stark, Josef]

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! 


Josef