| Documentation | The hand-written documentation, browsable exactly as it sits under docs/ on disk |
| Architecture Decision Records (adr) | |
| ADR-0001: Adopt IEC 61508 SIL 3 / DO-178C Level B as the qualification target | |
| ADR-0002: cppcheck-only MISRA enforcement under a FOSS-only budget | |
| ADR-0003: Test-only access to internal symbols via <module>_internal.h | |
| ADR-0004: DO-178C 6.4.4.3 deactivated-condition policy with regen-script auto-classification | |
| Design | |
| One update pipeline: OTA and USB are transports, not designs | |
| ESP32-C6 wireless co-processor architecture | |
| Binary format specifications (formats) | |
| Binary Format Specifications – Overview | |
| JOF – The Jump-Offset Band-Tile Atlas | |
| NPU1 – The .npub Ethos-U55 Model Container | |
| NSR1 – The Non-Secure Image RoT Header | |
| RBKC – The Chunked .rabook Container | |
| ROT1 – The Root-of-Trust Signed-Image Trailer | |
| Qualification kit (qualification) | |
| Legacy Workstation HIL Runner Setup (EK-RA8D2) – RETIRED | |
| MISRA-C 2012 Deviation Register | |
| Plan for Software Aspects of Certification (PSAC) | |
| Software Accomplishment Summary (SAS) | |
| Software Configuration Management Plan (SCMP) | |
| Software Design Description (SDD) | |
| Software Development Plan (SDP) | |
| Software Quality Assurance Plan (SQAP) | |
| Software Requirements Specification (SRS) | |
| Software Verification Cases & Procedures (SVCP) | |
| Software Verification Plan (SVP) | |
| Software Verification Results (SVR) | |
| Tool Qualification Dossier | |
| Datasheet reference (reference) | |
| RA8D2 Hardware User's Manual – Chapter Map | |
| EK-RA8D2 board manual – audit placeholder | |
| RA8P1 vs RA8D2 – durable difference reference | |
| SOUP component justifications (SOUP) | |
| SOUP Justification: Espressif esp-hosted-mcu (host driver) | |
| SOUP Justification: Espressif esp-hosted-mcu (co-processor firmware) | |
| SOUP Justification: FlatBuffers | |
| SOUP Justification: gemmlowp (fixed-point headers) | |
| SOUP Justification: Eclipse LevelX | |
| SOUP Justification: libwebp (WebP decoder) | |
| SOUP Justification: litehtml | |
| SOUP Justification: Mbed TLS | |
| SOUP Justification: miniz | |
| SOUP Justification: Eclipse NetX Duo | |
| SOUP Justification: Apache NimBLE | |
| SOUP Justification: ruy (profiler instrumentation stub) | |
| SOUP Justification: stb (image / truetype) | |
| SOUP Justification: TF-PSA-Crypto | |
| SOUP Justification: TensorFlow Lite for Microcontrollers | |
| SOUP Justification: Eclipse ThreadX | |
| SOUP Justification: Eclipse USBX | |
| SOUP Justification: Arm Ethos-U Vela (host build tool) | |
| SOUP Justification: XZ Embedded (decode-only) | |
| RA8D2 Acronym Glossary | |
| AI Attribution Policy | |
| RA8_* Annotation Contracts | |
| ra8-firmware architecture | |
| Certification Scope | |
| The CI fleet: declared, tuned, and scheduled | |
| Citation Policy | |
| E-Book Content Licensing | |
| Coverage (statement + branch) | |
| Debugging the EK-RA8D2 | |
| Doxygen HTML Documentation | |
| Doxygen Documentation Gap Report | |
| DRIVER_STATUS | |
| Dual-core (CPU0 / CPU1) on the RA8D2 | |
| EPUB Reader – Supported Conformance Subset | |
| Fuzzing | |
| Hardware Bring-up Report (EK-RA8D2 v1) | |
| Hardware-in-the-Loop (HIL) Developer Workflow | |
| HIL Suite | |
| Developer IDE Integration | |
| The estate | |
| Per-app Init-Order Audit | |
| MC/DC Coverage (DO-178C Level B) | |
| MC/DC Deactivated-Decision Catalog | |
| MC/DC Coverage Gap Audit | |
| RA8D2 Memory Map – Quick Reference | |
| MISRA-C 2012 Compliance | |
| Module tour (libs/) | |
| Host-side Performance Benchmarks | |
| Python Environments and Lock Maintenance | |
| Qualification Basis – IEC 61508 SIL 3 / DO-178C Level B | |
| RA8D2 vs RA8P1 – difference analysis + multi-chip plan | |
| Ring and World tagging | |
| HAL Completion Record (Historical) | |
| ROADMAP_DASHBOARD | |
| Root-of-Trust Signing Key | |
| Stack-Usage Bounding | |
| Static Analysis: Clang Static Analyzer (scan-build) | |
| ra8-firmware style guide | |
| TOOLCHAIN | |
| Vendor Blobs (Renesas-Only, Not Shipped) | |
| Workflow automation: work | |
| Examples | All 235 example apps, browsable by the same board and hardware-validation tiers the repository uses on disk |
| Needs external hardware | Apps that need hardware not on the stock board (motor driver, audio CODEC, external radios, ...) |
| EK-RA8D2 (stock evaluation kit) | Apps that run on a stock EK-RA8D2 v1 kit with no added parts |
| HIL – needs re-validation | Apps moved out of the HIL-passing set: each is blocked by bench config, an SD reseat, absent external hardware, or is under triage – see the tier README |
| Hardware-pending | |
| C6 | |
| Manual (jumper / button steps) | |
| Hardware-validated | |
| ESP32-C6 companion radio (just hil::c6) | Apps that talk to the ESP32-C6 companion radio over esp-hosted |
| Hardware-in-the-loop (HIL) | |
| Manual (jumper / button steps) | |
| RA8P1 foundation | Foundation apps for the RA8P1 variant (RA8D2 + Ethos-U55 NPU) |