WrmOS documentation

The main document for L4 microkernel is L4 Kernel Reference Manual Version X.2. It describes kernel API, ABI and principles of L4 Operation System.

WrmOS documentation consists from next clauses:

1. Build system
2. Configuration
3. Bootloader
4. Kernel
5. Root-pager Sigma0
6. Root-task Alpha
7. WrmOS API