The OpenNET Project / Index page

[ новости /+++ | форум | теги | ]



"Открыт код сверхнадёжного микроядра seL4"
Версия для распечатки Пред. тема | След. тема
Форум Разговоры, обсуждение новостей
Исходное сообщение [ Отслеживать ]
Подсказка: Для контроля за появлением новых сообщений - перед выходом жмите "Пометить прочитанным".
. "Открыт код сверхнадёжного микроядра seL4" +1 +/
Сообщение от Аноним (-), 29-Июл-14, 19:01 
> Только одно, но ничто не мешает ядру не просто прибить драйвер, а
> перезапустить. А тогда разница очень большая.

По моим наблюдениям за ядром линукса это обычно так: встает колом железка, а потом драйвер ядра с переменным успехом пытается вправить ей мозг. А если GPU не получилось перезапустить - радости то с работающего драйвера? Картинки то все-равно не будет. ЧСХ такое можно и с модульным монилитом понаблюдать для самых разных железок.

Чтобы свойства seL4 были сколь-нибудь сохранены, его и запускать надо на каком-то убер-тривиальном ASIC где кроме примитивного RISC с полутора командами вообще ничего нет. Правда, не понятно что с ним потом делать, но об этом мы подумаем в другой раз...

Ответить | Правка | Наверх | Cообщить модератору

Оглавление
Открыт код сверхнадёжного микроядра seL4, opennews, 29-Июл-14, 09:35  [смотреть все]
Форумы | Темы | Пред. тема | След. тема



Партнёры:
PostgresPro
Inferno Solutions
Hosting by Hoster.ru
Хостинг:

Закладки на сайте
Проследить за страницей
Created 1996-2024 by Maxim Chirkov
Добавить, Поддержать, Вебмастеру