Пафосно.

И в-третьих, всё сделано с нуля. Всё популярные ОСи не заточены на безопасность и поэтому проще и надёжнее сделать всё заново,

Вот к примеру, OpenBSD в Вашей классификации относится к не популярной или к не безопасной? С каких пор микроядерность архитектуры ядра стала гарантировать безопасность операционной системы?

Надо было сделать ОС, в которой контроль естественным образом вшит в выполнение каждой команды, в обращение к каждому байту памяти и к каждому устройству.

А вот здесь можно подробнее, как это? Чем «хорошие» команды процессора отличаются от «плохих»?    

В любом случае, молодцы, что работают по этой действительно важной тематике, хотелось бы больше технических подробностей, так как текущая аргументация не очень.