Linux の root 権限や環境特権を廃止し、IPC 呼び出し、メモリページ、割り込みのすべてを偽造不可能な数学的ケーパビリティトークンで厳格制御。
ケーパビリティ型マイクロカーネルでは、アクセス権限はカーネル保護メモリ内に格納されます。ネットワークスタックが乗っ取られた場合でも、操舵アクチュエータへの操作権限トークンを捏造することは不可能です。
親プロセスが子スレッドを生成する際、権限を制限した派生ケーパビリティ（読み取り専用等）を付与します。タスク終了時に親が破棄を指示すると、システム全体の派生トークンが一瞬で無効化されます。