オープンソースRTOS「seL4」の紆余曲折からマイクロカーネルの進化を俯瞰する
オープンソースRTOS「seL4」の紆余曲折からマイクロカーネルの進化を俯瞰する：リアルタイムOS列伝（19）（1/3 ページ） IoT（モノのインターネット）市場が拡大する中で、エッジ側の機器制御で重要な役割を果たすことが期待されているリアルタイムOS（RTOS）について解説する本連載。第19回は、コモンクライテリアなどにも対応する第3世代マイクロカーネルのオープンソースRTOS「seL4」を紹介する。 前回に続き、今回も大学発のリアルタイムOS（RTOS）である。「seL4」とは“Secure Embedded L4 Microkernel”の略である。原型になっているのは、“Secure Embedded”の付かない、ただの「L4 Microkernel」（L4 Kernelと称されることが多い）。 ⇒連載記事「リアルタイムOS列伝」バックナンバー 第1世代マイクロカーネルのMach
Announcing WSL 2
Email Subscriptions are here! Get notified in your email when a new post is published to this blog Today we’re unveiling the newest architecture for the Windows Subsystem for Linux: WSL 2! Changes in this new architecture will allow for: dramatic file system performance increases, and full system call compatibility, meaning you can run more Linux apps in WSL 2 such as Docker. What exactly is WSL 2
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Frequently Asked Questions on seL4 | seL4 docs
Virtiofs Design Document
