Только это уже не Линукс, с главным принципом Keep it simple, stupid. И как большинство российских продуктов иб (противоречящих мировой практике ИБ) - избыточны, что приводит только к переодической, но огромной, попаболи. Достаточно было просто сертифицировать любой линукс, прикрутив туда только гостовые свистоперделки (опять же не понимаю зачем гост, все исходники есть, берите-смотрите-проверяейте), а мандаты продавать отдельным продуктом или сделать это отключаемо.