Google KataOS が週末に導入されました。これは、機械学習ワークロードに重点を置いたランタイム環境に焦点を当てた組み込みデバイス用のオペレーティング システムです。
KataOS は seL4 マイクロカーネル上に構築されており、セキュリティを考慮して設計されています。 Rust プログラミング言語を完全に採用しています。
11月1日にNetflixの広告対応プランが登場するのをご存知ですか?
Google KataOS とは?
Google は KataOS オペレーティング システムを発表しました。 このシステムの目的は、組み込みデバイスにセキュリティ ソリューションを提供することです。 周囲からデータを収集して分析するスマート ガジェットが増えています。 Google によると、これらのガジェットはセキュリティの脅威に対してより脆弱です。 その結果、組み込みハードウェア向けの検証可能な安全なシステムであるシンプルなソリューションが必要になります。 私たちの周りのテクノロジーがデータを安全に保つことを数学的に実証できない場合、問題が生じます。 これは、収集したデータが外部の攻撃者に対して脆弱である可能性があるためです。 これは、ウイルスが写真、音声録音、映画、およびその他のデータを盗む可能性があることを意味します。 これが、Google が KataOS の導入を余儀なくされた理由です。
Google KataOS の主な使用例は、スマート デバイスの数の増加、特に機械学習アプリケーションを実行する組み込みハードウェアです。 業界では現在、RISC-V への注目が高まっており、CPU アーキテクチャのサポートは Google KataOS の最優先事項です。
Google はオープンソース ブログで次のように発表しました。
「この新しいオペレーティング システムの基盤として、マイクロカーネルとして seL4 を選択しました。 機密性、完全性、および可用性が保証され、安全であることが数学的に証明されています。 seL4 CAmkES フレームワークにより、静的に定義され、分析可能なシステム コンポーネントを提供することもできます。 Google KataOS は、ユーザーのプライバシーを保護する検証可能なセキュリティ プラットフォームを提供します。これは、アプリケーションがカーネルのハードウェア セキュリティ保護に違反することは論理的に不可能であり、システム コンポーネントは検証可能な安全性を備えているためです。 また、KataOS はほぼ完全に Rust で実装されており、1 つずつエラーやバッファ オーバーフローなどのバグのクラス全体が排除されるため、ソフトウェア セキュリティの強力な出発点となります。」
現在の GitHub リリースには、Rust 用のフレームワーク (seL4 システム コール API を提供する sel4-sys クレートなど)、Rust で記述された代替ルート サーバー (動的なシステム全体の RAM が必要) など、Google KataOS のコア部分のほとんどが含まれています。管理) 、およびルート サーバーによって使用される RAM を再利用するための seL4 へのカーネルの変更。 「
詳細については、Google のオープン ソース ブログをご覧ください。 GitHub で関連プロジェクトの進行状況も確認できます。 さらに別の Google プロジェクトに関するこのニュースを歓迎している場合は、このすばらしい Google ニュースをチェックしてください。
KataOS はサードパーティのアプリを実行します
Google は Antmicro とも協力しています。 このパートナーシップにより、Renode を使用してターゲット デバイスで GDB をエミュレートおよびデバッグできるようになります。 内部的には、KataOS にはサードパーティ プログラムを動的にロードして実行する機能があります。 CAmkES 構造の外部で作成されたプログラムでさえ、CAmkES 構造上で実行できます。 これらのアプリを実行するために必要なコンポーネントは、Github ソースにはまだ存在しません。 ただし、Google はこれらの操作をすぐに利用できるようにする予定です。
さらに、Google は KataOS のリファレンス実装である Sparrow を作成しました。 Sparrow は、安全な環境システムを完全に実証するために作成されました。 安全なハードウェア プラットフォームを備え、KataOS を実行します。 RISC-V アーキテクチャ上で、Sparrow は安全であることが証明されているルート オブ トラストを備えています。 安全なオペレーティング システム カーネルとともに、これが存在します。 それにもかかわらず、Google は KataOS の最初のリリースに QEMU エミュレーションを採用する予定です。 このエミュレータは、より広く使用されている 64 ビット ARM システムを操作するために使用されます。
Source: Google KataOS システムの説明
