Getting it into your agent
One page per mod, every tool's command on it. A separate URL per tool would split the same page into five that compete with each other.
npx skills add ksachdeva/zephyr-rtos-ai --skill zephyr-kernel-synchronizationgit clone --depth 1 https://github.com/ksachdeva/zephyr-rtos-aiWrote this? Show the measurements
A badge with what this costs and how it scanned, read live from this page, so it follows the numbers instead of freezing them. Markdown for a README, HTML for a documentation site or a project page.
[](https://agentmods.dev/skills/ksachdeva/zephyr-rtos-ai/zephyr-kernel-synchronization)<a href="https://agentmods.dev/skills/ksachdeva/zephyr-rtos-ai/zephyr-kernel-synchronization"><img src="https://agentmods.dev/badge/skills/ksachdeva/zephyr-rtos-ai/zephyr-kernel-synchronization.svg" alt="Measured on agentmods" height="20"></a>What it costs to keep this loaded
Counted locally with the o200k_base tokenizer, which is exact for GPT models; Claude uses its own tokenizer and its counts differ. Treat this as one consistent yardstick across the catalogue rather than a bill. Prices are per million input tokens.
| Model | Per session | Once invoked |
|---|---|---|
| Fable 5.1 | $0.00070 | $0.00800 |
| Opus 5 | $0.00035 | $0.00400 |
| Sonnet 5 | $0.00014 | $0.00160 |
| Haiku 4.5 | $0.00007 | $0.00080 |
Grade A, and why
zephyr-kernel-synchronization scanned grade A with 0 findings against 26 rules in 11 categories — prompt injection, anti-refusal, data exfiltration, privilege escalation, supply chain, agent snooping, system-prompt leakage, SSRF and excessive agency — measured 7d ago.
A static scan of the body, not an audit. Every finding is printed with the line that produced it so you can judge whether it matters here. A mod is markdown that instructs an agent; that is exactly why what it instructs is worth reading.
Nothing flagged
None of the 26 patterns this scan looks for appear in this file: no shell pipes, no recursive deletes, no credential paths, no hidden text, no instruction-override or anti-refusal phrasing, no agent-config snooping. That is not a guarantee, it is the absence of the things that are checkable.
How it starts
The opening of the file, as written. The whole thing — 71 lines — stays where its author put it; the contents beside it link to each section on GitHub.
Zephyr Kernel Synchronization
Overview
This skill provides expert knowledge on the four main synchronization primitives in the Zephyr kernel: Semaphores, Mutexes, Events, and Condition Variables. It helps in selecting the right primitive for the task and provides implementation details, common patterns, and pitfall avoidance.
When synchronization choices affect whether threads block cleanly enough for the system to reach low-power states, also read ../zephyr-power-management/SKILL.md.
Workflow
1. Selection Strategy
To choose the correct synchronization primitive, first determine the requirements:
- ISR Involvement? Can an ISR give/take/signal, or only threads?
- Ownership? Must the same thread that locks also unlock?
- Priority Inversion? Is priority inheritance needed?
- Signaling Pattern? One-to-one, one-to-many, many-to-many?
- Condition Complexity? Simple event bits or complex state predicates?
Step 1: Read references/comparison.md for the feature matrix and decision flowchart.
2. Implementation
Once the primitive is selected, use the implementation guide to write the code.
Step 2: Read the appropriate reference:
- Semaphores: references/semaphores.md — Counting/binary semaphores, ISR signaling, resource limiting.
- Mutexes: references/mutexes.md — Mutual exclusion, priority inheritance, reentrant locking.
- Events: references/events.md — Bitmask events, many-to-many signaling, wait options.
- Condition Variables: references/condvar.md — Waiting for complex state changes with a mutex.
3. API & Configuration
For complete API signatures, Kconfig options, and resource locations.
Step 3: Read references/api.md for:
- Complete API function signatures for all primitives.
- Relevant Kconfig options.
- Header file locations.
What ships with it
7 files beside SKILL.md in the same directory: the scripts, references and assets a skill reads on demand. Not counted in the per-session cost; read them before you install if any of them is executable.
What this file has done since we first saw it
Hashed on every crawl. A supply-chain change to an agent config is a question of when, not whether, so the history is kept rather than the latest state alone.
- 7d ago First seen · 71 lines · 70 tokens per session scan A 7f23ee070452
zephyr-kernel-synchronization is a skill published in the GitHub repository ksachdeva/zephyr-rtos-ai (23 stars, last pushed 2mo ago), licensed Apache-2.0. It adds 70 tokens to every session and 800 once invoked, about $0.0003 per session on Opus 5. A static security scan graded it A with 0 findings. No closer match exists in the catalogue, so it is treated as the original; first seen 2026-08-30.
Other skills, from other repositories
home-assistant
This skill should be used when helping with Home Assistant setup, including creating automations, modifying dashboards, checking entity states, debugging automations, and managing the smart home configuration. Use this for queries about HA entities, YAML automation/dashboard generation, or troubleshooting HA issues.
raspberry-pi-pico2
Use when developing with Raspberry Pi Pico 2 or the Pi Debug Probe.
piper-tts-training
Train custom TTS voices for Piper (ONNX format) using fine-tuning or from-scratch approaches. Use when creating new synthetic voices, fine-tuning existing Piper checkpoints, preparing audio datasets for TTS training, or deploying voice models to devices like Raspberry Pi or Home Assistant. Covers dataset preparation…
gap
Program robots with GaP (graph-as-policy) — compile natural-language tasks into typed, verified robot skill graphs and run them on simulators or real robots. Use when the user mentions GaP or graph-as-policy, robot manipulation, robot skills, robot tools or capabilities, skill registries, open-robot-skills, LIBERO or…
web-components
Architecture and coding rules for single-page applications using web components, BCE layering, lit-html templating, unidirectional Redux-style state management (reduction.js, standards-based), and standards-based client-side routing (Navigation API + URLPattern). Web standards and web platform first, minimal external…
sbce
Spec-driven BCE workflow where one capability spec equals one business component (same name) and the spec is the boundary contract. Invoked as /sbce new|apply (or by intent), it drives declare → converge; the stack's own test loop is the oracle for "done". new accepts a BC name or a natural-language feature…