連載 2022年1月31日 オープンソースRTOS「seL4」の紆余曲折からマイクロカーネルの進化を俯瞰する（関連情報）：リアルタイムOS列伝（19） [大原雄介，MONOist] 記事を見る 記事を見る
