Codezero Microkernel - написанное с нуля микроядро, относящееся к семейству L4. Оно предназначено для встраиваемых систем и позиционируется создателями как «безопасный встраиваемый (embedded) гипервизор».
Кроме того, Codezero Microkernel - это современная, легкая в использовании, документированная, расширяемая, переносимая система, код которой открыт под лицензией GPL v.3. Основная поддерживаемая платформа - ARM.
Основные изменения в новой версии:
- Добавлены контейнеры (Containers), предоставляющие «конфигурируемый метод создания виртуальных вычислительных сред» (то есть виртуализации и защиты ресурсов).
- Capability-based Security - новое средство, позволяющее обеспечить защиту объектов ядра, системных вызовов, а также процессов и контейнеров.
>>> Подробности
