Исходное сообщение
"Сверхнадёжное ядро seL4 будет переведено в разряд открытых п..." Отправлено Аноним, 25-Июн-14 11:53
> А в чем заключалось математическое обоснование? В том что если деградировать ядро до примитивного тасксвичера - в нем, конечно, багов не будет. Это даже можно формально доказать. Просто баги будут в других местах кода. Так что радости то с того, учитывая что само по себе такое "ядро" не умеет ни-че-го?