[
новости
/
+++
|
форум
|
теги
|
]
sel4
Ключи
:
Система
Не важно
AIX
FreeBSD
Cisco IOS
Linux
NetBSD
OpenBSD
SCO
Solaris
Тема
Не важно
Web
Модем dialup
DNS
Примеры
Firewall
FTP
Рутинг
Faq
Квоты
Почта
Патчи
Русификация
Схемы
Скрипты
Проблемы
Windows
X Window
Близкие по совпадению -
microkernel
sculpt
kataos
neptuneos
risc-v
windows
opentitan
genode
Перейти к дереву ключевых слов
Быстрый переход - http://opennet.ru/ключ
Раздел новостей
(7 элементов)
1
[07.05.2023] Проекту seL4 присуждена премия ACM Software System Award
2
[15.10.2022] Google открыл код защищённой операционной системы KataOS
3
[14.10.2022] Проект Genode опубликовал выпуск ОС общего назначения Sculpt 22.10
4
[26.02.2022] Проект Neptune OS развивает слой совместимости с Windows на базе микроядра seL4
5
[10.06.2020] Микроядро seL4 математически верифицировано для архитектуры RISC-V
6
[29.07.2014] Открыт код сверхнадёжного микроядра seL4
7
[25.06.2014] Сверхнадёжное ядро seL4 будет переведено в разряд открытых проектов
Раздел "
Советы и заметки
" скрыт.
Посмотреть
скрытые статьи
Раздел "
Тематический каталог
" скрыт.
Посмотреть
скрытые статьи
Раздел "
Каталог программ
" скрыт.
Посмотреть
скрытые статьи
Раздел "
Каталог ссылок
" скрыт.
Посмотреть
скрытые статьи
Раздел "
Архив документации
" скрыт.
Посмотреть
скрытые статьи
Раздел "
Системные руководства (MANы)
" скрыт.
Посмотреть
скрытые статьи
Раздел "
Треды в форуме
" скрыт.
Посмотреть
скрытые статьи
Раскрыть разделы (перейти к полной выборке из всех разделов на одной странице)
[
Искать через полнотекстовый поиск
]
Партнёры:
Хостинг:
Закладки на сайте
Проследить за страницей
Created 1996-2025 by
Maxim Chirkov
Добавить
,
Поддержать
,
Вебмастеру
