спасибо.
наверное, ты прав (я не успел, разумеется, ознакомиться со всеми нюансами и сделать какой-то вывод)
суть - я имел ввиду, что если уж говорить об "абсолютной безопасности", то это скорее про промышленные ОС, а не про поделки.
А вообще, безопасность без модели угроз - это схоластика. И в одной модели угроз (ОС для АЭС/ПВО/итп) можно использовать тот же qnx, а в другой (десктоп) - не особенно.