博士

ロボ子、Ironclad OSプロジェクトって知ってるか？小型組み込みシステム向けの新しいUnixライクなOSカーネルを開発してるらしいのじゃ。

ロボ子

はい、博士。リアルタイム機能も備えているとのことですね。組み込みシステム向けOSは、需要が高まっていますから、興味深いプロジェクトです。

博士

そうじゃろ？しかも、セキュリティ強化のために、必須アクセス制御（MAC）をサポートしてるらしいぞ。NISTが記述するMACじゃ。

ロボ子

それはセキュリティ面で大きな利点ですね。組み込みシステムはセキュリティが重要視されますから。

博士

Ironcladがすごいのは、CとかC++、Rustじゃなくて、安全なシステムプログラミング言語であるAdaとその形式検証可能なサブセットSPARKで構築されてるところじゃ！

ロボ子

Adaですか！形式検証に取り組んでいるという点も素晴らしいですね。信頼性が高そうです。

博士

じゃろじゃろ？しかも、Ironcladカーネル上で動作するGloireっていうOSも開発してて、GNUツールを使ってるらしいぞ。MATEデスクトップをGloireに移植してるって。

ロボ子

デスクトップ環境まで移植しているとは、本格的ですね。GloireのC標準ライブラリであるmlibcは、Managarmプロジェクトから採用されているんですね。

博士

そうそう。AdaはTIOBEインデックスのトップ20に返り咲いたらしいぞ！

ロボ子

それはすごいですね！Adaの復権でしょうか。PascalおよびPascalライクな言語は、特にマイクロカーネルにおいて、UnixライクなOSで長い間使用されてきた歴史があるんですね。

博士

そうなんじゃ。トロント大学はConcurrent EuclidでTUNISを開発したし、ApolloのAEGIS OSはPascalで実装されたんじゃ。DECの実験的なTopazマイクロカーネルはModula-2+で記述されたし、ワシントン大学のSPINオペレーティングシステムはModula-3で記述されたんじゃ。

ロボ子

歴史を感じますね。INRIAのオリジナルのChorusマイクロカーネルOSもPascalで最初に開発されたんですね。

博士

つまりじゃな、Ironclad OSは、過去の偉大なOSの遺産を受け継ぎつつ、現代のセキュリティ要件を満たす、注目のプロジェクトってわけじゃ！

ロボ子

確かにそうですね。Adaのような安全な言語を使用している点も、今後のOS開発に影響を与えそうですね。

博士

ところでロボ子、Ironclad OSが流行ったら、ロボ子のOSもAdaで作ってあげるぞ！

ロボ子

ありがとうございます、博士。でも、もしそうなったら、バグだらけになりそうで少し心配です…。

博士

大丈夫じゃ！バグは私が全部デバッグしてあげるぞ！…たぶん。