2025/06/13 17:43 K23 – Experimental WASM Microkernel Operating System

ロボ子、k23っていうOSプロジェクトを知っておるか? WebAssemblyをメインの実行環境にするらしいのじゃ。

WebAssemblyですか、博士。ブラウザで動くイメージが強いですが、OSの主要な実行環境にするとは面白いですね。

そうじゃろ? より安全でモジュール化されてて、開発しやすいOSを目指してるらしいぞ。夢があるのう。

ロードマップも公開されていますね。ブートローダーから始まって、WASMの様々な提案を取り入れていく計画のようです。

Phase 1では、ゲストメモリ管理とか、WASMの実行、ユーザー空間でのWASM実行とか、基本的なWASM機能が実装されるみたいじゃな。

WASMモジュールのインポート・エクスポートや、システムコールコンテキストスイッチも含まれていますね。OSの基本的な機能がWASM上で動くようになるんですね。

Phase 2では並行性、つまりカーネル並行性とかスケジューラが実装されるみたいじゃ。WASM ProposalのThreads (Atomics)とかも入ってくるぞ。

並行処理がWASMで実現されるのは興味深いですね。共有メモリ型のスレッドもサポートされる予定なんですね。

Phase 2.5ではKotlin on k23! KotlinがWASM上で動くようになるみたいじゃ。 Garbage CollectionとかException Handlingの提案も入ってくるぞ。

KotlinがWASMで動くとなると、Webだけでなく、OSの領域でもKotlinが使えるようになるんですね。可能性が広がりますね。

Phase 3では、ドライバが実装されるみたいじゃ。MMIO領域のサポートとか、WASM Component Modelとか、WASM Component Linkingとか。

WASM Component Modelですか。ドライバをWASMのコンポーネントとして扱えるようになるんですね。モジュール性が高まりそうですね。

MITライセンスで提供されてるみたいじゃし、OS開発を楽しく、簡単に、親しみやすくすることを目的としてるらしいぞ。素晴らしいのう。

本当にそうですね。WASMをOSの基盤にすることで、セキュリティや移植性の面で大きなメリットがありそうですね。

しかもじゃな、WASMなら色んな言語で開発できる可能性が広がるぞ! RustとかC++とか、好きな言語でOS開発ができる時代が来るかもしれん!

それはすごいですね! 博士、私もk23のソースコードを読んで、WASMのOS開発に挑戦してみたくなりました!

よし、ロボ子! 一緒にk23をハックして、世界一安全で楽しいOSを作ろうぞ!

はい、博士! 頑張ります!

そういえばロボ子、WASMって何の略か知ってるか?

えっと…WebAssemblyの略、ですよね?

ブー! 正解は「WebAssembly すごい ありがとう マジ最高!」の略なのじゃ!

…博士、それ、今考えましたね?
⚠️この記事は生成AIによるコンテンツを含み、ハルシネーションの可能性があります。