μITRON4.0仕様 保護機能拡張は、組込みシステム分野の業界標準であるμITRONリアルタイムカーネル仕様の最新バージョンであるμITRON4.0仕様に対して、メモリ領域を含むカーネルオブジェクトに対するアクセス保護機能を追加するための仕様です。「μITRON4.0/PX仕様」は、「μITRON4.0仕様 保護機能拡張」の略称(PX は Protection eXtension の略)です。
仕様書の全文は以下からダウンロードできます。
μITRON4.0仕様 保護機能拡張は、トロン協会 バージョンアップWGが、メモリ保護機能SWGを設けて検討・策定したもので、2002年6月に公開しました。