Association for Computing Machinery (ACM) は、 seL4 マイクロカーネル チームに 2022 ACM ソフトウェア システム賞を授与しました。
SeL4は、数学的手法により安全性が証明された世界初のオペレーティングシステムカーネルであり、安全性をベースとした高いパフォーマンスも重視した、世界最速かつ最先端のOSマイクロカーネルです。これは組み込みコンピューティング システムの安全性と信頼性にとって非常に重要な意味を持ち、航空電子工学、自動運転車、医療機器、重要インフラ、防衛などの業界に影響を与える可能性があります。理論的には、SeL4 は Linux やその他の Unix 系オペレーティング システムの基礎として使用でき、以前は GNU/Linux の「真のカーネル」GNU Hurd として検討されていました。
Linux Foundation は、オーストラリアの国立科学機関である CSIRO と協力して、seL4 オペレーティング システム用のマイクロカーネル エコシステムを構築しています。
seL4 は、現実世界の重要なコンピュータ システムの機密性、セキュリティ、信頼性を確保するために設計された安全なオペレーティング システム カーネルです。
財団の設立メンバーには、Cog Systems、DornerWorks、Ghost Locomotion、HENSOLD Cyber、UNSW Sydney が含まれます。
seL4 は L4 マイクロカーネル ファミリのメンバーであり、システム内で実行されているアプリケーション間で最高レベルの分離を提供します。これにより、システムの一部への損傷を抑制し、システムの他の潜在的により重要な部分への損傷を防ぐことができます。
ソース：