Не нужно истерик, вам такое понятие как ФСТЭК знакомо? если нет - советую ознакомиться!
Фигня все эти комиссии. На практике, каждый использует то, что хочет. Хоть MSDOS, хоть венду, хоть QNX, хоть ПЛИСины или PIC-и. Кто как привык работать тот так и работает. Нормативные документы читать пробовал. Не существует столько спиртного, которые нужно выпить, чтобы в них разобраться. В общем и целом, чтобы строить системы важные для безопасности, нужно
доказать , что твоя система не только делает то, что он неё требуется, но не делает того, чего от неё не ждут. Для этого надо верифицировать используемую операционную систему. Хрен там. Такое количество кода не прочитает никто и никогда. Не говоря про понимание. Не говоря про многотонные БЛОБы NVidia. Но без операционной системы современное железо не работает. Поэтому, на всё на это тупо закрываются глаза. Плюс откаты, а как же. Однако, фраза "мы используем линукс XXX уже X лет на X блоках", весьма действенна. Поэтому вот так.