ОС спецслужб и войск ПВО

Кто-нибудь знает че-нить о засекреченных операционках, что стоят на компах наши бравых ФСБшников или же войск ПВО? Cкорее всего что-то UNIX подобное, но это уже было слито или все еще тайна тайн?
З.Ы. По типу отечественной linux astra ведую, но она в открытом доступе.

Верно, на тех. форумах по линуксу иногда инфа мелькает, в них главная фишка - сертификация фстэк, фсб для работы с гостайной и т.д., интерфейс аля 90е и максимальная степень огороженности всего и вся внутри системы, мандатный доступ и т.д.
Обычному человеку работать с такой штукой будет весьма неудобно, с похожим успехом можешь использовать QubesOS или другой дистрибутив с активным Selinux, по ним хотя бы есть инфа и документация