Таки что, разработчики FreeBSD сертификацию Evaluation Assurance Level (любого уровня) тоже ниасилили?
По ссылке вроде можно посмотреть, кто прошёл сертификацию, EAL4 естественно прошли почти все ОС Microsoft, коммерческие линуксы, чпукс, и прочий айбиэм. До уровня EAL6 прокачалась только INTEGRITY®-178B RTOS, от скромного американского разработчика ПО для встроенных систем, которые Flying the Boeing B1-B intercontinental nuclear bomber, the Boeing 787 Dreamliner, Lockheed Martin’s F-16, F-22 & F-35, and dozens of other aircraft
BTW (опять-таки набрёл на это по ссылке из блога Карманова), ребята из этого самого Green Hills Software Inc. очень любят линукс, особенно рекомендуется к прочтению следующее: Linux in Defense: An Urgent Threat to National Security
Ну а про FreeBSD они естественно не пишут, НЕЧЕГО же :-)