Кокоевсёзелёное

Таки что, разработчики 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 они естественно не пишут, НЕЧЕГО же :-)