The Texas Instruments LM3S9B96 is sold with SafeRTOS pre-embedded in ROM. SafeRTOS can be used free of charge on these parts with free support being provided through this forum. Alternatively commercial support and complete safety certification evidence can be purchased from High Integrity Systems.