а кто такие эти capability?
The fundamental abstraction in seL4 is the *capability*. A capability (or cap)
is a "communicable, unforgeable token of authority".
Capabilities form the basis of seL4's access control system.
Capabilities are conceptually a reference to some kernel object along with
access rights. The kernel objects available depend on the architecture the
kernel is running for. There are, however, a few architecture independent kernel
objects:
- Endpoint objects: channel for inter-process communication (IPC)
- Notification objects: asynchronous signaling, implementing a binary semaphore
- CNode objects: mechanism for storing and addressing capabilities
- Thread control blocks (TCBs): a thread of execution
- Untyped memory objects: ranges of physical memory used for creating kernel objects
The architecture-dependent objects include device access and virtual memory management.