オープンソースRTOS「seL4」の紆余曲折からマイクロカーネルの進化を俯瞰する

図2　この数字（SLOC：Source Line of Code）が妥当か？　といわれるとちょっと大げさな気もするのだが、まぁカーネルが小さくなるのはマイクロカーネルとしては当然である［クリックで拡大］