# Design

This section contains design documents that provide a detailed overview of the
design and implementation of the OpenProt project. These documents are intended
to provide guidance to developers and anyone interested in the internal workings
of the project.

## Documents

-   [**Pigweed Integration Overview**](./pigweed-overview.md): What openprot
    consumes from Pigweed (`pw_kernel`, `pw_log`, `pw_status`, toolchains,
    crate universe, the `./pw` launcher) and where each piece is pinned.
-   [**pw_kernel IPC**](./pw-kernel-ipc.md): How to declare and use channel
    objects to communicate between two `pw_kernel` userspace processes.
    Worked example lives at `target/veer/ipc/`.
-   [**Orchestrator**](./orchestrator/orchestrator-overview.md): The eRoT boot-sequence state
    machine (`services/orchestrator/sm`). Covers the two-tier firmware
    verification model (`ComponentAttrs`, eRoT gate, iRoT gate), the
    verification boundary, and the full state/transition table.