book/src/SUMMARY.md

Summary

Introduction

Developer Guide

• Development
  • Understanding the Design Goals
    • Actor System
    • Security Features
    • Microkernel
    • GUI
    • Filesystem
  • Configuring a Build Environment
  • Development Workflow
• Debugging
  • GDB
  • Logging
  • Automated Tests
  • Performance Profiling

User Guide

• Using the OS
  • Running in a Virtual Machine
  • Running on Baremetal
  • General Use
    • Working in the Shell
    • Navigating the GUI
    • Configuring the System
    • Working with Actors

---

Code of Conduct