Индекс форумов |
Исходное сообщение |
---|
"Сверхнадёжное ядро seL4 будет переведено в разряд открытых п..." Отправлено DmA, 25-Июн-14 07:37 |
Микроядро математически прошедшее проверку просто исполняет ядро Линукс как один и процессов. В ядре Линукс и драйвера и всё остальное , и его-то никто и не проверял! В России тоже был тендер, на 15 миллионов рублей, который должен был проверить ядро Линукс. Не знаю какие ам результаты |
При общении не допускается: неуважительное отношение к собеседнику, хамство, унизительное обращение, ненормативная лексика, переход на личности, агрессивное поведение, обесценивание собеседника, провоцирование флейма голословными и заведомо ложными заявлениями. Не отвечайте на сообщения, явно нарушающие правила - удаляются не только сами нарушения, но и все ответы на них. Лог модерирования. |
Закладки на сайте Проследить за страницей |
Created 1996-2024 by Maxim Chirkov Добавить, Поддержать, Вебмастеру |