Исходное сообщение
"Сверхнадёжное ядро seL4 будет переведено в разряд открытых п..." Отправлено kuku, 25-Июн-14 01:48
Поддерживаю. Интересно: какой был бюджет этого исследования ? И что им обещали в конце исследования ? Насколько реально практическое применение этого ядра ? Люди годами пишут сложные ядра(например ядро Linux), а тут они взяли и написали ядро, которое не имеет ошибок. Как-то звучит "натянуто". Похоже эта теория "далека" от практики. Насколько оно уступает по сложности ядру Linux ?