Comparing RTOS latency with only averages and stddev may be the worst benchmark I've seen in a long time. It is the worst case that is interesting, and possible

Comparing RTOS latency with only averages and stddev may be the worst benchmark I've seen in a long time. It is the worst case that is interesting, and possible also the worst latency shown for each added 9 in the 99, 99.9, 99.99 etc progression that is relevant in such a comparison. Averages can lie by an arbitrary amount.