1. Foreword
2. 1. System design
   1. 1.1. Memory management
   2. 1.2. Capability spaces
   3. 1.3. Address spaces 🔸
   4. 1.4. Tasks 🔸
   5. 1.5. Interprocess Communication 🔸
   6. 1.6. Fault handling 🔸
   7. 1.7. Hardware I/O 🔸
   8. 1.8. Interrupt processing 🔸
3. 2. System initialization
   1. 2.1. Bootinfo
4. 3. System calls
   1. 3.1. SYS_schedule
   2. 3.2. SYS_cpu_stat
   3. 3.3. SYS_ident
   4. 3.4. SYS_signal 🔸
   5. 3.5. SYS_wait 🔸
   6. 3.6. SYS_call 🔸
   7. 3.7. SYS_recv 🔸
   8. 3.8. SYS_reply 🔸
5. 4. Capability API 🔸
   1. 4.1. General purpose capabilities 🔸
      1. 4.1.1. Null 🔸
      2. 4.1.2. Memory 🔸
      3. 4.1.3. CSpace 🔸
      4. 4.1.4. VSpace 🔸
      5. 4.1.5. Task 🔸
      6. 4.1.6. Page 🔸
      7. 4.1.7. Notification 🔸
      8. 4.1.8. Endpoint 🔸
      9. 4.1.9. Reply 🔸
   2. 4.2. x86_64-specific capabilities 🔸
      1. 4.2.1. PDPT 🔸
      2. 4.2.2. PD 🔸
      3. 4.2.3. PT 🔸
      4. 4.2.4. IOControl 🔸
      5. 4.2.5. IOPort 🔸
      6. 4.2.6. IRQControl 🔸
      7. 4.2.7. IRQ 🔸
6. 5. Examples 🔸