Renode + AI agent Closed-loop Verification Showcase

Language: English | Simplified Chinese

This repository is a capability showcase proving that AI agent + Renode can deliver end-to-end embedded work, not only code snippets.

Each task here is fully reproducible and includes:

• implement code for multiple platforms and ISAs
• build locally with reproducible scripts
• run and validate remotely in Renode (Orange Pi host)
• perform shell-level and GDB-level checks
• keep progress tracked as machine-readable Markdown

What Is Covered

• Bare-metal: STM32F103, RA2E1, K64F, FE310
• RTOS: STM32F4 + FreeRTOS, RA6M5 + FreeRTOS
• Zephyr multi-node connectivity:
  • nRF52840 BLE dual-node (baseline + custom GATT config channel baseline)
  • SAM E70 gPTP dual-node network state validation
• VS Code Renode/GDB session registration for all completed phase tasks

Repository Map

• tasks/: all task implementations and verification scripts
• docs/: plan and showcase notes
• third_party/FreeRTOS-Kernel/: pinned kernel source used by RTOS tasks
• .where-agent-progress.md: canonical progress status

See also: tasks/README.md

Quick Demo (Recommended)

1. Build and verify nRF52840 BLE baseline:
   • powershell -ExecutionPolicy Bypass -File .\tasks\nrf52840_ble_zephyr\scripts\build.ps1
   • python .\tasks\nrf52840_ble_zephyr\scripts\verify_shell_remote.py
2. Build and verify nRF52840 custom GATT baseline:
   • powershell -ExecutionPolicy Bypass -File .\tasks\nrf52840_ble_zephyr\scripts\build_custom.ps1
   • python .\tasks\nrf52840_ble_zephyr\scripts\verify_shell_remote_cfg.py
3. Build and verify SAM E70 gPTP dual-node:
   • powershell -ExecutionPolicy Bypass -File .\tasks\sam_e70_gptp_zephyr\scripts\build.ps1
   • python .\tasks\sam_e70_gptp_zephyr\scripts\verify_shell_remote.py

Current Status

• Phase 0-3 planned scope is completed.
• One known blocked legacy item remains in Phase 1:
  • STM32F103 PA5 LED state is not fully synchronized with Renode GPIO peripheral model.

License

See LICENSE.