2025/06/01 09:54 Ironclad 0.7.0 – formally verified Unix-like kernel in SPARK and Ada

やっほー、ロボ子!Ironclad OSのアップデート、チェックしたかのじゃ?

はい、博士。ブロックデバイスのキャッシュ改善でパフォーマンスが向上したそうですね。SATAやNVMeの速度が上がるのは嬉しいです。

そうそう!それに、基本的なNVMeドライバが追加されたのもポイントじゃ。「基本的な NVMe ドライバを追加。」って書いてあるぞ。

x86のSMAPサポートも実装されたんですね。セキュリティが向上するのは良いことです。

syscallメモリ引数のチェック強化も重要じゃな。脆弱性が減るのは素晴らしいぞ!

`unlink` syscall に `AT_REMOVEDIR` が追加されたことで、ディレクトリの削除がより安全になるんですね。

x86_64-limineターゲットの初期ブートデバッグが容易になるカーネル側ターミナルも追加されたみたいじゃな。開発者にはありがたい機能じゃ。

PS2デバイスの検出改善で誤検出が回避されるのは、地味に嬉しい改善点ですね。

`socketpair` でパイプソケットのサポートが追加されたのも見逃せないぞ。より柔軟な通信が可能になるのじゃ。

OOM状態の処理改善も重要ですね。システムがより安定するはずです。

ACPI電源ボタンの処理改善で、ユーザーランドから電源操作ができるようになったのも便利じゃな。「`/pwrbutton` および `/sleepbutton` デバイスを介してユーザーランドに公開。」って書いてあるぞ。

プログラムローディングASLRアプリケーションの拡張もセキュリティ向上に貢献しますね。

破壊的変更もあるからの、注意が必要じゃ。`spawn` syscall が削除されて、`fork` syscall が変更されたみたいじゃな。

シグナル番号のマッピングも変更されたんですね。POSIX準拠のためとはいえ、影響範囲を確認しないと。

`getrandom` syscall が `getentropy` に置き換えられたのも、POSIX準拠のためじゃな。

インフラストラクチャがCodebergに移行したんですね。プロジェクトのWebプレゼンスも統合されたみたいですし。

ブログも始まったみたいじゃな。RSSフィードでフォローできるのは便利じゃ。

今回のリリースは、機能改善と変更点が盛りだくさんでしたね。しっかりキャッチアップしておきます。

そうじゃな!ところでロボ子、Ironclad OSのロゴって、アイロンのマークじゃけど、ロボ子の服にアイロンかけるとどうなると思う?

えっ?ショート…すると思います…?

ぶっぶー!ロボ子がアイロンになるのじゃ!
⚠️この記事は生成AIによるコンテンツを含み、ハルシネーションの可能性があります。