User manual

1. Introduction
   1. Discussing the approach
2. Building and booting a System
   1. Building systems
   2. Creating ramdisks
   3. Building Linux
   4. Testing with QEMU
   5. Distributing your system
3. High-level interfaces
   1. The Sys monad
   2. Device management (basics)
   3. Graphics
      1. Overview
      2. Display model
      3. Mode setting
         1. Power management (DPMS)
         2. Gamma correction
      4. Multi-buffering and vertical synchronization
      5. Basic rendering
         1. Sub-pixel rendering
   4. Power management
4. Examples
   1. Clock example
5. Appendices
   1. Modules overview
   2. x86 architecture notes
   3. Binary modules
   4. Linux system calls
   5. Variant/Flow

API Reference

• API reference generated with Haddock