微內核發展史與Mach、L4、seL4微內核OS的比較

目錄 1.什麼是微內核? 2.微內核的發展歷史 2.1第一代微內核：從無到有 2.2第二代微內核：解決性能問題 2.3第三代微內核：主要重視安全問題等 3.Mach、L4、seL4微內核OS的簡單比較 1.什麼是微內核? 微內核設計的基本思想是簡化內核功能，在內核之外的用戶態儘可能多地實現系統服務，同時加入相互之間的安全保護。內核只提供最基礎的服務，比如多進程調度、多進程通信（IPC)等。其中進程

>>阅读原文<<