RTOS Support

Neural Inverse provides RTOS-aware debugging for FreeRTOS, Zephyr, and Embassy (Rust async).

Detection

> fw_rtos_detect

Scans the project for RTOS indicators:

• FreeRTOS: FreeRTOS.h, FreeRTOSConfig.h, xTaskCreate calls
• Zephyr: prj.conf, K_THREAD_DEFINE, Kconfig symbols
• Embassy: embassy-executor in Cargo.toml

Thread Inspection

> fw_rtos_threads

Lists all running threads/tasks with:

• Task name
• State (running, ready, blocked, suspended, deleted)
• Priority
• Stack usage (used / total)
• Program counter
• Block reason (mutex, semaphore, queue, delay)

State Snapshot

> fw_rtos_snapshot

Captures complete RTOS state:

• All threads with their states
• Mutex ownership
• Semaphore counts
• Queue fill levels
• Timer states
• Heap fragmentation

Heap Analysis

> fw_rtos_heap

Shows heap usage:

• Total heap size
• Current allocation
• Largest free block
• Fragmentation percentage
• Per-task allocation (if tracked)
• High watermark

Deadlock Detection

When threads are blocked on mutexes, the RTOS debug service can detect circular dependency chains (deadlocks) by analyzing mutex ownership vs. wait lists.

Symbol Sync

> fw_rtos_sync

Synchronizes RTOS symbol tables (TCB offsets, list structures) with the debug session. Required after firmware rebuild if RTOS internals changed.

Agent Tools