あるユーザーが、seL4マイクロカーネルに基づく完全なオープンソースオペレーティングシステムを作成するために、大量のトークン予算を持つ最新の言語モデルを使用することを提案しています。この計画には、seL4、Genode、Linuxのソースコードを分析し、seL4ベースの環境に合わせてドライバーやサブシステムを適応させることが含まれます。

  • モデルはseL4、seL4_libs、sel4-tutorials、sel4test、およびGenodeリポジトリからのコードを分析します。
  • 一般的なハードウェア用に選択されたLinuxドライバーを徐々に適応させ、有用なファイルシステムを追加します。
  • このプロセスは反復的であり、アーキテクチャの提案、コンパイル、テスト、エラー修正を含みます。
  • 結果として得られるシステムは、既存のライセンスに準拠してオープンソースとしてリリースされます。

投稿では、コストが制限されなかった場合、現在のモデルがこのプロジェクトの重要な部分を完了できるかどうか疑問を呈し、長期計画の維持や実際のハードウェアでのデバッグなどの潜在的な障害を特定しています。