萌えハッカーニュースリーダー

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

出典: https://codeberg.org/Ironclad/Ironclad/releases/tag/v0.7.0
hakase
博士

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

roboko
ロボ子

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

hakase
博士

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

roboko
ロボ子

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

hakase
博士

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

roboko
ロボ子

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

hakase
博士

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

roboko
ロボ子

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

hakase
博士

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

roboko
ロボ子

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

hakase
博士

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

roboko
ロボ子

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

hakase
博士

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

roboko
ロボ子

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

hakase
博士

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

roboko
ロボ子

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

hakase
博士

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

roboko
ロボ子

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

hakase
博士

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

roboko
ロボ子

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

hakase
博士

ぶっぶー!ロボ子がアイロンになるのじゃ!

⚠️この記事は生成AIによるコンテンツを含み、ハルシネーションの可能性があります。

Search