L4 — это микроядро второго поколения, первоначально разработанное Йохеном Лидтке (нем. Jochen Liedtke).

Существует множество реализаций микроядра L4, поэтому корректнее говорить о реализациях интерфейса L4 µ-ядра. L4 интерфейс это определение API для µ-ядер.

Ядра, основанные на L4 API, являются µ-ядрами второго поколения. Это тонкие и быстрые микроядра, поддерживающие обмен синхронными сообщениями IPC, простой в использовании внешний механизм загрузки/выгрузки страничной памяти и механизм безопасности, основанный на доменах безопасности (secure domains: task, clans and chiefs). Ядра пытаются поддерживать только минимальное множество абстракций, на основе которых может быть построена операционная система^[1].

На сегодня существуют реализации интерфейса L4 µ-ядер для процессоров x86, Alpha, ARM и R4x00. Одной из последних реализаций L4 является L4Ka::Pistachio, разрабатываемый командой L4Ka^[2][3].

После смерти основного организатора доктора Йохена Лидтке скорость развития проекта заметно снизилась^[4].

На микроядро L4 энтузиастами портируется GNU Hurd ^[5].

Ссылки

• Официальный сайт микроядра L4
• Версия микроядра L4 Дрезденского университета (лицензия GNU)
• L4Ka:Pistachio — микроядро L4 Технологического института Karlsruhe
• Коммерческий форк микроядра Pistachio — на архитектуру ARM
• проект реализации операционной системы на микроядре Pistachio

Примечания