「MINIXの30年の歴史から学んだこと」 http://member.wide.ad.jp/~shima/publications/Lessons_learned_from_30_years_of_Minix-JP.html を読んだ。 本筋とは関係ないけど、

> L4マイクロカーネルは世界中の10億を超える携帯電話の無線チップや、iPhone6など最近のiOSデバイスのセキュリティプロセッサのOSとして採用されています。

L4って単なる proof of concept なプロジェクトかと思ってたけど、こんなに実用的に使われているものなのか。知らなかった。