Skip to content

v0.6.0 — RT1176 hermetic emulation + MAVLink bench

Choose a tag to compare

View all tags
@avrabe avrabe released this 26 Jun 20:34
· 162 commits to main since this release
v0.6.0
This tag was signed with the committer’s verified signature.
avrabe Ralf Anton Beier
SSH Key Fingerprint: 5yELJMbRldVoXWU2u9E8p8a9GUJCyQLyinKHfADgAOE
Verified
Learn about vigilant mode.
7b591ac
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode.

jess's first tagged engineering milestone: hermetic Pixhawk 6X-RT (i.MX RT1176) M7 emulation + real MAVLink decode, both CI-gated — the foundation the on-target bring-up (v0.7.0+) builds on.

Scope (V-closed, accepted)

  • REQ-PIX-005 — the hand-authored RT1176 Renode platform boots bring-up firmware to the JESS-RT1176 boot OK banner on LPUART1. Verified by TEST-PIX-005. The same renode-smoke gate also runs the synth#374 OOB-trap oracle (TEST-PIX-013) and the synth#507 br_table oracle (TEST-PIX-020).
  • REQ-PIX-010 — the MAVLink bench decodes the committed 6X-RT sample with correct X.25 CRC. Verified by TEST-PIX-010.

CI on the tagged commit (7b591ac) — all SUCCESS

rivet validate · spar model · mav_bench oracle · Renode RT1176 smoke

Falsification statement

v0.6.0 is falsified if, on the tagged commit, the RT1176 Renode platform faults or fails to reach JESS-RT1176 boot OK, or the MAVLink bench miscomputes the X.25 CRC on the committed sample, or any of the four CI gates is not success.

Deferred (logged, DD-021)

REQ-PIX-001 (falcon fpv5-d16 hard-float firmware) → v0.7.0 — cannot reach verified until synth#369 (VFP lowering) + #275 (dispatch) land (both external).

Planned roadmap

v0.7.0 on-target bring-up · v0.8.0 PX4 HITL + persistence + root-of-trust · v0.9.0 gust/F100 + combined vehicle + witness/scry gates. All gated on the supplier poles (synth #369/#275/#503, gale#65, hub#98).

🤖 Generated with Claude Code

Assets 2
Loading