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.
pw_kernel, pw_log, pw_status, toolchains, crate universe, the ./pw launcher) and where each piece is pinned.pw_kernel userspace processes. Worked example lives at target/veer/ipc/.services/orchestrator/sm). Covers the two-tier firmware verification model (ComponentAttrs, eRoT gate, iRoT gate), the verification boundary, and the full state/transition table.