Операционные системы с микроядром

Активные микроядра «QNX-стиля» в 2024-2025 гг.
ОС/ядро | Свежий релиз | Ключевые особенности |
---|---|---|
seL4 | 13.0.0 (Feb 2025) | Формально верифицировано, RISC-V & ARMv8/9, automotive/авионика |
Fiasco.OC | Git 2025-04 | L4-совместимое, Rust-userland, используется в Genode |
Genode + Nova/Fiasco.OC | 24.05 | Сценарий «одна прошивка — много ВМ», Sculpt OS, USB-C, GPU-вирт |
PikeOS | 5.2 (Dec 2024) | DO-178C DAL-A, ISO-26262 ASIL-D, ARINC-653 P4, Cortex-R52+, RISC-V |
KasperskyOS | 1.2 LTS (Dec 2024) | FLASK-политики, TSN-Ethernet, Cortex-A/M, RISC-V, пром-шлюты |
Integrity 11.2.2 | Jun 2024 | ASIL-D, multi-core lock-step, ARMv8-R, автомобильные радары |
LynxOS-178 3.6 | Jan 2025 | DO-178C DAL-A, FAA accepted, x86/PowerPC/ARMv8-R |
Tock (Rust) | 2.2 (Mar 2025) | Cortex-M/RISC-V, драйверы на Rust, OpenSK, датчики IoT |
Все они сохраняют философию QNX: минимальное привилегированное ядро, драйверы и сервисы — изолированные пользовательские процессы. Если нужен бесплатный и активный вариант — начните с seL4 или Genode; для автомобильной/авиационной сертификации смотрите PikeOS, Integrity, LynxOS-178.