NoWayOS
Single Purpose OS。
seL4とMicrokitの上で保護ドメインを組むためのパターン、型付きメッセージ、ドライバ、ネットワーク、ネイティブなユーザーインターフェース。そして、すべてのNoWayOSリポジトリがビルドに使う開発コンテナとチェック。
- QEMUとRaspberry Pi 5で動作
- スーパーバイザー、ウォッチドッグ、フェイルセーフ状態
- IPスタックとTLS 1.3クライアントを、Rustで
- 付与・unsafe・ライセンス・シークレットのチェックと、すべてのイメージの部品表
- ステータス
- 開発中
- ライセンス
- MIT OR Apache-2.0
Screen Compiler
Reactでデザイン。ネイティブなRustで出荷。デバイスにブラウザはなし。
宣言されたサブセットに沿ってTSXで書かれたReactの画面を、NoWayOSのユーザーインターフェース用のRustに変換します。ビルド時に手元のマシンかCIで動き、デバイスに載ることはありません。
- 正確か、何もしないか。サブセットの外にあるものは、行と列を示して拒否
- 同じ画面からは、どのマシンでもバイト単位で同一のRust
- 変換した各画面は、承認済みの画像とピクセル単位で一致しなければならない
- ビルドツールであって、サンドボックスではありません。変換するのは信頼できる画面だけに
- ステータス
- 開発中：サブセットv0と、v1の最初の部分
- ライセンス
- MIT
Showcase
Raspberry Piで動かせる、セキュアなアプリケーション。
セキュアなセルフサービス画面のためのキット、その上に組み立てるためのリファレンスアプリケーション、そしてRaspberry Pi 5が起動時に立ち上げる、架空のブランドによるサンプルのランチャー。
- デバイス上にブラウザ、WebView、JavaScriptなし
- 画面とアプリケーションは別々の区画に
- 一人ひとりの回答は、デバイスのメモリにだけとどまり、セッションの終了時に消去されるよう設計されています
- すべての画面をReactでデザインし、Screen Compilerで変換
- ステータス
- 初期段階で、実運用には使えません
- ライセンス
- MIT OR Apache-2.0
Defence Agent
すべてのコントリビューションが通過すべきゲートを、プルリクエストの手の届かない場所に。
NoWayOSのオープンなプロジェクトへの変更が通過しなければならないすべてのセキュリティゲートを、それぞれが対処する脅威と、誰が変更してよいかとともに書き出したもの。そして、それらを実行するエージェント。プルリクエストが、自らを判定するものを変えたり用意したりすることは決してありません。
- 各ゲートは何を通すかを明記しているので、変更を事前に確かめられます
- すべてのコミットに、Developer Certificate of Originに基づくサインオフ
- ゲートへの変更はメンテナーに回され、どんな変更も自らを判定しません
- エージェントは決定しません。メンテナーがその判定を読み、マージするかどうかを決めます
- ステータス
- 公開済み：ゲートを書き出した段階。エージェントとツールはこれから
- ライセンス
- MIT OR Apache-2.0
同じ土台の上の商用製品
商用製品も、NoWayOSの上に作られています。それらが必要とする汎用的なものは、NoWayOS自体の中にオープンに作り込みます。そしてNoWayOSが、その上に作られた製品に依存することは決してありません。
ライセンス
- NoWayOS、Showcase、Defence Agentは、MIT OR Apache-2.0のもとで提供され、どちらかを選んで利用できます。
- Screen CompilerはMITです。あなたの画面から生成されるRustはあなたのものであり、好きなライセンスで公開できます。
- NoWayOSのグリフアトラスは、その元になったフォントのライセンスであるSIL Open Font Licenseのもとにあり、アイコンはLucideのライセンスであるISCのもとにあります。
スポンサー
NoWayOSのスポンサーは、Adappt.aiです。