CAP-session interface

A Cap_session is an allocator of user-level capabilities. User-level capabilities are used to reference server objects across address spaces.

Class Genode::Cap_session

Public functions

alloc

Allocate new unique userland capability

Argument
Capability ep Entry point that will use this capability
Return

Capability New userland capability

free

Free userland capability

Argument
Capability cap Userland capability to free

service_name

Return

char *

© 2010 Genode Labs