在seL4微内核操作系统中，能力（capability）是一种抽象的概念，用于表示对特定对象的访问权限。这种机制是seL4安全模型的核心，它允许系统以一种细粒度和灵活的方式管理资源和访问控制。 能力可以被理解为一把钥匙，它赋予持有者特定的权限去操作或访问系统中的一个对象。这些对象可以是各种各样的资源，比如内存区域、设备、文件、进程或者系统调用等。每个能力都是唯一的，并且与特定的权限集相关联。 能力可以被理解为一把钥匙，它赋予持有者特定的权限去操作或访问系统中的一个对象。这些对象可以是各种各样的资源，比如内存区域、设备、文件、进程或者系统调用等。每个能力都是唯一的，并且与特定的权限集相关联。