Most RTOSs provide some level of certification for different safety standards. Please consult with the OS vendor to determine if it needs your specific needs.
1- No SMP Support
2 - Micrium is in maintenance only mode. Weston Embedded is carrying the OS forward under the Cesium brand.
3 - Architecture Support Package
4 - In development
5 - Legacy only, contact Weston Embedded for support