L4 とは、マイクロカーネルの種類。Machは中途半端に大きなマイクロカーネルであり、カーネルを徹底的に小さくした方が性能が出る、という考えで作られたマイクロカーネル。モノリシックカーネルの置き換えを目指した初期のマイクロカーネルに対し、マイクロカーネルらしさを追求したことから第二世代のマイクロカーネルと呼ばれる。

出典:wikipedia