orchestrator: Test the at-rest guarantee end to end The reset wiring itself landed with the platform driver (BootControl composed into BoardCapabilities, assert_reset/release_reset delegating to it), so what remains here are the end-to-end proofs: a component is still held in reset while its image is verified and the line is released only on the passing verdict, and a dead reset line fails closed with the component left quiesced. BootControl is re-exported from the driver crate so board crates need only one import. Assisted-by: Claude:claude-fable-5 Signed-off-by: Christina Quast <christina.quast@9elements.com>
The OpenPRoT Technical Charter can be found at https://github.com/OpenPRoT/.github/blob/main/GOVERNANCE.md
NOTE: We are converting our build system to bazel. We recommend installing bazelisk to automatically manage bazel versions.
You can run tasks using the Pigweed workflow launcher pw or bazel.
./pw presubmit - Run presubmit checks: formatting, license checks, C/C++ header checks and clippy../pw format - Run the code formatters.bazel test //... - Run all tests.bazel build //docs - Build documentation.The project is structured as a bazel module.
No additional tools are required - all dependencies are managed by bazel.