Ага, яндекс уже так выпендрился, теперь всех клиентов теряют. Умники емнить :)

Все зависит от того, насколько система в самом деле «защищена» и «верифицирована».

Нет, яндекс посчитал, что наши хацкеры нищеброды и якобы им много не надо. Вобщем, ничего удивительного. Это к тому, что те кто ломает на деле такие же спецы, как те кто пытается защищать систему. И если взломщиков считать за школоту, то они также злятся как и любой другой человек. Пусть лучше яндекс срежет зп своим программистам :)

Как ужал?

Ядро MINIX3 это примерно 28 тысяч строк кода. Все (в смысле вообще все) драйверы вынесены из пространства ядра.

Если верить ОП-овской ссылке, у касперского примерно так же.

В MINIX'е «about 4000 lines of executable kernel code». Таненабум ужал до предела, вроде бы. Только что скачал LiveCD, файл kernel весит 133 килобайта. Каким образом Кошмарский ужмёт ещё сильнее непонятно.

И чем ему, кстати, MINIX3 не угодил? NIH?

И чем ему, кстати, MINIX3 не угодил?

У меня тот же вопрос про верифицированный L4

Только что скачал LiveCD, файл kernel весит 133 килобайта.

На самом деле удивительно, как точно совпали размеры.

микроядро же. Сообщения между серверами отправлять и шедулер

Да хрен бы с ним с софтом, его через прослойку совместимости запустить можно. а вот поддержка овер9к оборудования это другой вопрос. И сомневаюсь, что аппаратчики будут рады еще одной OS под которую надо пейсать драйвер.

Точное совпадение размеров.

На самом деле удивительно, как точно совпали размеры.

Ага, и лицензия у MINIX3 позволяет закрыть код. Правда скорее всего требует указания авторства (там что-то BSD подобное). Но пока продукт никому не передан и этого делать не надо, насколько я понимаю.

Одна вода, ни слова про исходный код, про совместимость с POSIX и т.д. - не интересно.

/thread

Они верифицировали код на каскеле, а потом показывали, что код на С соответствует коду на каскеле.

А может вру.

они собираются выпустить просто затюненный Linux под своим брендом

они взяли Дениску на работу?

Тормозит в реалтайме? Закопайте обратно с qnx.

В целях гарантии безопасности она не должна содержать ошибок и уязвимостей в ядре

Спасибо, посмеялся =) я так понял, писать ядро будут бездушные роботы, не делающие ошибок в коде никогда.

И запускаться на идеальном железе. Изолированного от внешнего мира в бетонном саркофаге на глубине километра под землей.