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