My two years of personal experience at Lynx that (among other things) focusses on certifying code for deployment on big mission-critical programs, tells me that today’s vendors of proprietary RTOS / ...