Comment by ahazred8ta

There is only one EAL 5 OS, the nonfoss STOP system from BAE. Several Linuxes are EAL 4.

https://www.baesystems.com/en/product/stop-os# docs

https://en.wikipedia.org/wiki/XTS-400