[cap-talk] Cap type safe OS questions

[Charles Landau]

Ben Kloosterman wrote:
> we have the option to store the capability in
> the user application space ...
> 
> Note the Capability service does not necessarily define a service on another
> machine but merely a user mode process with a separate address space. 

> the service does not have access to the kernel address space ...

Yet you wrote:
> Everything runs ... in a shared address space.

Is there one address space or more than one?