# Summary

[Introduction](./introduction.md)

# User Guide

* [Getting Started](./getting-started.md)
* [Usage](./usage.md)

# Specification

* [Introduction](./specification/README.md)
* [Use Cases](./specification/use_cases/README.md)
* [Threat Model](./specification/threat_model.md)
* [Firmware Resiliency](./specification/firmware_resiliency.md)
* [Middleware](./specification/middleware/README.md)
  * [MCTP](./specification/middleware/mctp.md)
  * [SPDM](./specification/middleware/spdm.md)
  * [PLDM](./specification/middleware/pldm.md)
* [Services](./specification/services/README.md)
  * [Attestation](./specification/services/attestation.md)
  * [Firmware Update](./specification/services/fwupdate.md)
* [Device Abstraction](./specification/device_abstraction/README.md)
* [Terminology](./specification/terminology.md)

# Developer Guide

* [Architecture](./architecture.md)
* [Coding Style](./coding-style.md)
* [Contributing](./contributing.md)
* [Development Process](./development-process.md)
* [Design](./design/README.md)
  * [Pigweed Integration Overview](./design/pigweed-overview.md)
  * [pw_kernel IPC](./design/pw-kernel-ipc.md)
  * [Orchestrator](./design/orchestrator/orchestrator-overview.md)
    * [Verification Model](./design/orchestrator/orchestrator-model.md)
    * [State Machine](./design/orchestrator/orchestrator-machine.md)
    * [State Machine Walkthrough](./design/orchestrator/orchestrator-sm-walkthru.md)
    * [State Machine Transitions](./design/orchestrator/orchestrator-sm-transitions.md)