Qemu Model Verification
Use to prove QEMU device, board, TCG, or runtime behavior with qtest, traces, logs, replay, and boot/workload evidence. Extends qemu-flow-plan by defining evidence ladders and reporting rules.
Qemu Debug
Use for debugging QEMU itself or guests under QEMU with host-side gdb/lldb, guest gdbstub, QEMU log flags, trace events, replay, one-insn-per-tb, and structured build/agent artifacts.
Qemu Boot Run
Use as a QEMU workflow primitive to construct, run, log, and classify reproducible QEMU boot commands for kernels, firmware, disks, initramfs images, serial consoles, timeouts, and success or failure markers.
Qemu Rlcr Loop
Use for non-trivial local QEMU implementation or debugging after qemu-flow-plan. Runs coherent rounds of work, verification, summary, independent review, scoped local Git checkpoint commits, terminal human-owned final-series draft preparation, and fixes until acceptance criteria pass.
Qemu Tcg Backend Adaptation
Use for adapting a QEMU TCG host backend, including optional op support, constraints, register allocation, host code emission, qemu_ld/st, atomics, and vector ops. Extends qemu-flow-plan and qemu-rlcr-loop.
Qemu Image Layout
Use as a QEMU workflow primitive to describe and verify raw, qcow2, SD, eMMC, flash, or firmware image layouts, including partitions, offsets, write operations, mutation policy, and hashes.
Qemu Flow Plan
Use as the first step for any non-trivial QEMU task. Produces a small implementation or debugging plan under a build/agent task workspace with acceptance criteria, scope boundaries, artifact policy, and verification gates.
Qemu Board Modeling
Use for QEMU board, SoC, machine, memory map, boot path, FDT/ACPI, and IRQ topology modeling. Extends qemu-flow-plan and qemu-rlcr-loop; board work must add or extend qemu-qtest coverage for verification.
Qemu Direct Linux Boot
Use for booting Linux directly with QEMU kernel, DTB, initrd, append, serial console, root filesystem, timeout, and shell markers, without traversing firmware or bootloader stages.
Qemu Rst Documentation
Use for writing or updating QEMU reStructuredText documentation, including board and machine docs, system docs, device docs, developer docs, boot command examples, feature status tables, Sphinx index/toctree updates, and docs build validation.
Qemu Register Extraction
Use as a research flow before qemu-peripheral-modeling to extract register maps, bitfields, cross-register dependencies, side effects, IRQs, DMA behavior, clocks, resets, and driver sequences from drivers, datasheets, firmware filesystems, and regfiles into markdown.
Qemu Uboot Build
Use for building U-Boot artifacts for QEMU firmware boot testing, including defconfig selection, cross compile variables, SPL/TPL, U-Boot proper, FIT or ITB files, BL31 or TF-A dependencies, logs, hashes, and provenance.
Qemu Kernel Build
Use for building Linux kernels for QEMU boot testing, including defconfig selection, cross compile variables, Docker or host toolchains, Image, DTB, modules, initramfs inputs, output hashes, and provenance records.
Qemu Qtest
Use for QEMU qtest design, registration, execution, and debugging. Extends qemu-flow-plan; qtest evidence and logs stay under a build/agent task workspace.
Qemu Peripheral Modeling
Use for QEMU peripheral, accelerator, MMIO, qdev, or SysBusDevice modeling. Extends qemu-flow-plan and qemu-rlcr-loop; register-bank modeling must use QEMU's registerinfo framework and qtest verification.
Qemu Firmware Linux Boot
Use for booting Linux through firmware or bootloader stages in QEMU, including BIOS, pflash, ROM, SPL, TPL, U-Boot, TF-A, EDK2, boot media, serial logs, timeout markers, and debug handoff.
Qemu Build
Use for configuring, reusing, building, or diagnosing QEMU build directories. Defaults to build and keeps agent-created logs and reports under a build/agent task workspace.
Qemu Source Provenance
Use as a QEMU workflow primitive to record source trees, revisions, configs, toolchains, containers, build commands, output artifacts, hashes, assumptions, and RLCR round Git checkpoints before builds or during iterative local QEMU work.
Qemu Image Packaging
Use for packaging QEMU boot media from kernels, DTBs, firmware, bootloaders, root filesystems, modules, and raw or qcow2 images, while recording layout, offsets, write commands, hashes, and mutation policy.
Qemu Tcg Frontend Instruction
Use for adding, reviewing, or debugging a guest ISA instruction in a QEMU TCG frontend. Extends qemu-flow-plan and qemu-rlcr-loop; this skill only defines frontend decode/translation decisions.
Zephyr Patch Review
>-
Zephyr Safety Evidence
>-
Zephyr Explore
>-
Zephyr Debug
>-