しかし、toppersプロジェクトの成果にはμitron仕様とは違う,isoによる国際規格となったosek/vdx仕様に準拠したカーネル(toppers/atk1)やautosar仕様に準拠したソフトウェアも公開している。