j
k
j a
j l
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.
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
Back to the thread
Back to the list