プロジェクトのドキュメントの異なる箇所で、zirconをマイクロカーネルであるとも、マイクロカーネルではないとも説明している。