>ОС не может быть основана на каком-то уже существующем программном кодеВозможно, хотя очень дорого. Ну или (как вариант) слишком большой срок разработки
>В целях гарантии безопасности она не должна содержать ошибок и уязвимостей в ядре
Глюк. Баги есть и будут всегда. Человеческий фактор, ибо
>Ядро должно содержать критический минимум кода
Кэп сообщает что идея не нова
>максимальное возможное количество кода, включая драйверы, должно контролироваться ядром и исполняться с низким уровнем привилегий
Есть мнение, что не зная кода дровишек, это, - как бы сказать? - сложновато. Слегка.
>В ОС должна присутствовать мощная и надежная система защиты, поддерживающая различные модели безопасности
Общие слова и ничего более. И, да: а чем не по нраву SELinux? Тем что слово "Linux" присутствует?
Короч, лично мое имхо мне говорит что этот выс###р не стоит своего места в новостях.