L4RE 學習筆記——編程相關概念

1.Capabilities and Naming L4Re是一個基於細粒度訪問控制及Capabilities （能力權限）的系統。 通常來講，擁有一個Capabilities（能力權限）意味着被允許同其代表的對象通信。所有用戶可見的內核對象，如task,thread,IRQs等都只能通過能力權限來訪問。能力權限存儲在每個任務的能力權限表中，並且由選擇器引用。簡單的講，選擇器就是一個指向當前任務能

>>阅读原文<<