ReviewOS

also looking at this

stacks/drone

docs: clarify runtime status and the owned Pi setup path

#51
Merged chris wants to merge codex/docs-runtime-trust-status into main
2 files +19 -2
docs/index.mdmodified+3-2
Changes to docs/index.md
@@ -47,8 +47,9 @@ profile remains neutral-only. The owned [sensor pipeline](sensors.md),
4747[navigation](navigation.md) have separate simulation and hardware acceptance gates.
4848
4949[Diagnostics and replay](diagnostics.md) retain explicit loss and provenance.
50[Runtime trust and image staging](runtime-updates.md) preserves initial trust and authenticates offline candidates;
51persistent trust, boot selection and rollback remain required before installation.
50[Runtime trust and image staging](runtime-updates.md) preserves enrolled trust,
51journals verified metadata and prepares owned image candidates. Physical board
52installation, persistent boot selection and recovery require separate qualification.
5253The [library API](api.md) describes behavior extensions. The
5354[shared vehicle contract](vehicles.md) covers quadcopter, fixed-wing, ground,
5455surface and subsea profiles. [Optional external drivers](drivers.md) have
docs/raspberry-pi.mdmodified+16-0
Changes to docs/raspberry-pi.md
@@ -14,6 +14,22 @@ Keep propellers removed during bench integration. This release receives physical
14144. Validate the camera independently with Raspberry Pi's [AI Camera guide](https://www.raspberrypi.com/documentation/accessories/ai-camera.html)
1515 or [camera software guide](https://www.raspberrypi.com/documentation/computers/camera_software.html).
1616 `rpicam-hello --list-cameras` lists detected cameras. The [camera pipeline](camera-tracking.md) now consumes IMX500 frames/detections; its on-device validation remains pending.
17
18## Owned runtime development
19
20Continue with the [owned runtime bench](runtime.md#run-the-native-host-harness),
21using its CMake, C++17 and CTest prerequisites on a development host. The host
22harness exercises the kernel and Pi protocol with synthetic samples and neutral
23outputs. Follow the separate Pico 2 and [sensor bench](sensors.md) guides when
24adding those boards. Pi camera acquisition and physical board measurements still
25need their own on-device validation. ArduPilot and PX4 are optional drivers.
26
27## Optional flight-controller telemetry
28
29Use this path when you want receive-only telemetry from an independent flight
30controller. It is separate from developing the owned runtime and does not enable
31physical flight commands.
32
17335. Install the supported ArduCopter firmware for Pixhawk 6C using an appropriate ground station.
1834 Connect the autopilot to the Pi over USB using the exact connector on your board, then identify its
1935 stable `/dev/serial/by-id/...` device. Grant the service account the OS's serial-device permissions.