[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