Какие существуют примеры применения микроядерной архитектуры в реальных системах?

Некоторые примеры применения микроядерной архитектуры в реальных системах:

• QNX. habr.com os.kaspersky.ru Коммерческая операционная система, предназначенная для встраиваемых систем. os.kaspersky.ru Поддерживает многозадачность, обладает повышенной безопасностью и отказоустойчивостью, поэтому её применяют в сферах автомобилестроения, здравоохранения, аэрокосмической промышленности и других. os.kaspersky.ru
• MINIX. habr.com os.kaspersky.ru Операционная система с открытым исходным кодом, созданная для академических целей. habr.com Отличается небольшим размером и упрощенной структурой. os.kaspersky.ru
• L4. os.kaspersky.ru Семейство микроядер, разработанное для встраиваемых систем и мобильных устройств. os.kaspersky.ru Микроядра L4 отличаются высокой производительностью, низкой задержкой, безопасностью и универсальностью. os.kaspersky.ru
• PikeOS. os.kaspersky.ru Микроядерная операционная система реального времени (RTOS), разработанная для встраиваемых систем с высокими требованиями к надёжности и безопасности. os.kaspersky.ru Система применяется в авионике, автомобилестроении, интеллектуальных железнодорожных системах и других отраслях. os.kaspersky.ru
• Распределённая система управления базами данных Apache Cassandra. habr.com Использование микроядра позволяет Cassandra быстро масштабировать и модифицировать систему без больших изменений в коде, так как все модули работают через ядро. habr.com
• Среда разработки приложений IDE Eclipse. systems.education Базовый продукт Eclipse — это современный редактор кода, но как только к нему добавляют плагины (подключаемые модули), он становится настраиваемым и полезным продуктом. systems.education