実際には3.0からがマイクロカーネルであり、4.3BSDベースのMach2.5まではマイクロカーネルではない.
4.3BSDベースの