The OpenNET Project / Index page

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

sel4

Ключи:
Близкие по совпадению - microkernel   risc-v   windows   neptuneos  
Перейти к дереву ключевых слов
Быстрый переход - http://opennet.ru/ключ

Раздел новостей (4 элементов)
1 [26.02.2022] Проект Neptune OS развивает слой совместимости с Windows на базе микроядра seL4
2 [10.06.2020] Микроядро seL4 математически верифицировано для архитектуры RISC-V
3 [29.07.2014] Открыт код сверхнадёжного микроядра seL4
4 [25.06.2014] Сверхнадёжное ядро seL4 будет переведено в разряд открытых проектов

Информация не найдена в разделе: Советы и заметки


Информация не найдена в разделе: Тематический каталог


Информация не найдена в разделе: Каталог программ


Информация не найдена в разделе: Каталог ссылок


Информация не найдена в разделе: Архив документации


Раздел "Системные руководства (MANы)" скрыт. Посмотреть скрытые статьи


Раздел "Треды в форуме" скрыт. Посмотреть скрытые статьи




Спонсоры:
PostgresPro
Inferno Solutions
Hosting by Hoster.ru
Хостинг:

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