OpenNet: Материалы по тегу sel4

Раздел новостей (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 будет переведено в разряд открытых проектов

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

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

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

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

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

Партнёры:

Хостинг: