μITRONに逸脱してるとかいうけど、逸脱してないのはTOPPERS/JSPぐらいなものです。
だいたいμITRONであるか否かの基準がゆるゆるなのでまぁ普通にμITRONと名乗っていいことになってる。
あと具体的に実装による部分については

実装依存
実装定義
の２分類になるが実装定義が望ましいが実装依存である場合もある。
実装依存は必ず決まった動作にならないことを含むから、そういうのも許容されてるよ。

長文だったので第1項のみレスした。