The 100-MHz Cortex-M3-based Tempest series from Luminary Micro incorporates Wittenstein High Integrity Systems’ SafeRTOS in ROM along with the StellarisWare Peripheral Driver library. The Stellaris ...