freertos-kernel-debug
SolidUse 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
Quality Score: 79/100
Stars 20%
Recency 20%
Frontmatter 20%
Documentation 15%
Issue Health 10%
License 10%
Description 5%
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
AI & Automation Solid
cortex-m-debug
Use when debugging Cortex-M microcontrollers, firmware bring-up, SWD/JTAG sessions, faults, startup code, or flashing failures
22 Updated 1 weeks ago
easyzoom AI & Automation Solid
cortex-r5-debug
Use when debugging Cortex-R5 or Cortex-R firmware — TCM, MPU, caches, DFSR/DFAR aborts, exceptions, GIC/VIC interrupts, lockstep or split mode, ECC, or JTAG bring-up
22 Updated 1 weeks ago
easyzoom AI & Automation Solid
8051-mcu-debug
Use when debugging 8051-compatible microcontrollers, 51 MCU firmware, STC download issues, Keil C51 projects, interrupts, timers, UART, or startup failures
22 Updated 1 weeks ago
easyzoom