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

Документация микроядра L4


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

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


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

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


  1. Система сборки
  2. Конфигурирование

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


  1. Система сборки
  2. Конфигурирование