Instructions file CodexOpenCode
Instructions for processmission/oh-my-qemu, covering qemu skill repository agent guide, qemu upstream boundary, skill rules and installer rules.
56 1mo ago A 734 tokens
original MIT
Skill Claude CodeCodex
Use when a completed QEMU skill session exposed a reusable oh-my-qemu workflow problem and the user wants a sanitized improvement proposal drafted or filed as a GitHub issue.
56 1mo ago A 39 tokens
original MIT
Skill Claude CodeCodex
Use for QEMU board, SoC, machine, memory map, boot path, FDT/ACPI, and IRQ topology modeling with qtest-backed verification of machine creation, memory maps, and representative device wiring.
56 1mo ago A 50 tokens
original MIT
Skill Claude CodeCodex
Use when the QEMU binary and boot inputs are selected and one reproducible QEMU run must be constructed, logged, timed out, and classified by explicit success or failure markers.
56 1mo ago A 42 tokens
original MIT
qemu-build
05Skill Claude CodeCodex
Use for configuring, reusing, building, or diagnosing named QEMU build directories under source-root builds/, including target-specific, debug, sanitizer, and trace configurations.
56 1mo ago A 37 tokens
original MIT
qemu-debug
06Skill Claude CodeCodex
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 .oh-my-qemu artifacts.
56 1mo ago A 54 tokens
original MIT
qemu-image
07Skill Claude CodeCodex
Inspect or package QEMU disk, SD, eMMC, flash, pflash, firmware, raw, and qcow2 images. Use for read-only image format, partition, region, offset, sector-size, and hash analysis, or for explicitly authorized image creation, conversion, partitioning, filesystem population, and fixed-offset writes with readback and…
56 1mo ago A 77 tokens
original MIT
Skill Claude CodeCodex
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.
56 1mo ago A 51 tokens
original MIT
Skill Claude CodeCodex
Use for booting Linux in QEMU through either direct kernel loading or firmware and bootloader stages, selecting the path from task inputs while preserving provenance, boot logs, debug handoff, and verification evidence.
56 1mo ago A 47 tokens
original MIT
Skill Claude CodeCodex
Use when existing qtest, trace, log, replay, boot, or workload evidence must be evaluated against one falsifiable QEMU device, board, TCG, or runtime claim as PASS, FAIL, or INCONCLUSIVE.
56 1mo ago A 52 tokens
original MIT
Skill Claude CodeCodex
Use for QEMU peripheral, accelerator, MMIO, qdev, or SysBusDevice modeling with register contracts, an explicit register framework decision, and qtest-backed verification.
56 1mo ago A 42 tokens
original MIT
qemu-qtest
12Skill Claude CodeCodex
Use for QEMU qtest design, registration, execution, debugging, and immediate evidence capture for device, board, QMP, timer, IRQ, DMA, and memory behavior.
56 1mo ago A 41 tokens
original MIT
Skill Claude CodeCodex
Use to extract a source-cited QEMU register and behavior contract from drivers, datasheets, firmware, device trees, runtime traces, and SVD, IP-XACT, SystemRDL, or vendor regfiles before modeling a hardware block.
56 1mo ago A 55 tokens
original MIT
Skill Claude CodeCodex
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.
56 1mo ago A 55 tokens
original MIT
Skill Claude CodeCodex
Use for adapting a QEMU TCG host backend, including optional op support, constraints, register allocation, host code emission, qemuld/st, atomics, vectors, and native-versus-fallback verification.
56 1mo ago A 50 tokens
original MIT
Skill Claude CodeCodex
Use for adding, reviewing, or debugging guest ISA decode and translation in a QEMU TCG frontend, including feature gates, exceptions, PC/TB behavior, and focused instruction tests.
56 1mo ago A 44 tokens
original MIT
Skill Claude CodeCodex
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.
56 1mo ago A 59 tokens
original MIT
Skill Claude CodeCodex
Optional, self-contained workflow for non-trivial multi-step QEMU research, debugging, local-only implementation, modeling, boot, build, and verification tasks. Use when the task benefits from auditable planning, source and artifact provenance, small reviewed rounds, evidence-backed verification, and a clear handoff…
56 1mo ago A 78 tokens
original MIT