[okl4-developer] Capability Passing in OKL4 3.0
Toby Murray
toby.murray at comlab.ox.ac.uk
Fri Jan 30 03:51:16 EST 2009
Hi,
I recently came across the OKL4 3.0 release. While reading the
description of (new) the kernel API here
http://wiki.ok-labs.com/downloads/release-3.0/api-slides-3.0.pdf it
truck me that it wasn't clear whether capabilities can be passed during
IPC. Can they? If not, how can capabilities be passed between different
address spaces?
Cheers
Toby
More information about the Developer
mailing list