Документация WrmOS

Основным документом для микроядра L4 является L4 Kernel Reference Manual Version X.2. Он описывает API и ABI ядра, а так же принципы устройства операционных систем семейства L4.

Документация WrmOS состоит из следующих разделов:

1. Система сборки
2. Конфигурирование
3. Загрузчик
4. Ядро
5. Корневой-пэйджер Sigma0
6. Корневое-приложение Alpha
7. WrmOS API