L4微內核系列

L4是一種微內核構架的作業系統內核 ， 最初由約亨 · 李德克 （ Jochen Liedtke ） 設計 ， 前身爲L3微內核 。 在最開始 ， L4只是一個由約亨 · 李德克設計並實現的單一的產品 ， 用於Intel i386上的一個高度優化內核 。 L4微內核系統由於其出色的性能和很小的體積而開始被計算機工業所認知 。 隨後 ， L4的系統在多個方面上有了高速的發展 ， 值得提及的是一個更加獨立於硬件平臺的版本 ， 被稱爲Pistachio ， 之後又被移植到了許多不同的硬件構架上 。 現在已經形成一個微內核家族 ， 包括Pistachio ， L4 / MIPS ， 與Fiasco 。