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