Исходное сообщение
"Открыт код сверхнадёжного микроядра seL4" Отправлено Аноним, 31-Июл-14 08:58
С железом тенденция ровно обратная - становится быстрее-выше-сильнее-навороченнее-фичастее-быстрее... и глючнее. Достаточно посмотреть на дрова линуха и посмотреть сколько там вбито костылей и воркэраундов на все случаи жизни. Для начала - у CPU от AMD и Intel - обновляемый микрокод. Это чтобы можно было запатчить часть багов после выпуска чипа, не отправляя всю партию под пресс, что дорого и досадно. А если секцию ERRATA у даташитов читать - позеленеешь ненароком...