freertos-kernel-debug

Solid

Use when debugging FreeRTOS kernel behavior, task scheduling, priorities, stacks, heap schemes, tick interrupts, ISR APIs, queues, semaphores, timers, or deadlocks

AI & Automation 22 stars 2 forks Updated 1 weeks ago MIT

Install

View on GitHub

Quality Score: 79/100

Stars 20%
45
Recency 20%
90
Frontmatter 20%
70
Documentation 15%
100
Issue Health 10%
80
License 10%
100
Description 5%
100

Skill Content

# FreeRTOS Kernel Debug ## Overview Use this skill to debug FreeRTOS by proving tick, scheduler state, task stacks, heap, ISR boundaries, and synchronization ownership. Many FreeRTOS failures are contract violations around interrupt priority or blocking context. ## When To Use Use this skill when: - The user is debugging FreeRTOS tasks, queues, semaphores, mutexes, timers, event groups, streams, or task notifications. - The issue involves hard faults, hangs, missed ticks, watchdog resets, stack overflow, heap exhaustion, priority inversion, or ISR API misuse. - The target uses vendor HAL callbacks, Cortex-M interrupt priorities, trace tools, or multiple heap implementations. Do not use this skill for RTOS-agnostic firmware architecture questions. Use `rtos-debug` for broader RTOS triage. ## First Questions Ask for: - FreeRTOS version, port, MCU, tick rate, heap implementation, and config file. - Task list with priorities, stack sizes, states, and high-water marks. - Interrupt priorities, `configMAX_SYSCALL_INTERRUPT_PRIORITY`, and ISR APIs. - Current symptom, fault dump, watchdog reason, trace, or scheduler snapshot. - Whether assertions, stack overflow hook, malloc failed hook, and trace are on. ## Debug Workflow 1. Enable kernel evidence. Turn on `configASSERT`, stack overflow checks, malloc failed hook, and trace-friendly task names where possible. 1. Prove the tick and scheduler. Confirm SysTick/timer setup, interrupt priority, scheduler start, ...

Details

Author
easyzoom
Repository
easyzoom/aix-skills
Created
3 months ago
Last Updated
1 weeks ago
Language
Python
License
MIT

Similar Skills

Semantically similar based on skill content — not just same category