L4

Привет всем. Я хотел бы кое-что спросить. Собственно говоря саюж%) L4 - микроядро можно ли его поставить на Debian? И неподскажите ли ресурсы на ru/eng где про него доходчиго написано? Заранее благодарен.