I had never heard of PikeOS, but the article says > PikeOS (version 5.1.3), which is security-certified against Common Criteria at the EAL 5+ level and > Pik

I had never heard of PikeOS, but the article says > PikeOS (version 5.1.3), which is security-certified against Common Criteria at the EAL 5+ level and > PikeOS is also pre-certified against many industry software safety standards such as DO-178C for avionics, EN 50128 and EN 50657 for rail, ISO 26262 for automotive, EN 61508 for industrial and IEC 62304 for medical. Which seems like a fairly objective description of what it is and what its goals are.