メニュー
Use when adding, changing, debugging, or reviewing genrt AArch64 QEMU contract tests and test artifacts. Do not use for ordinary interactive QEMU demos without machine assertions.
デフォルトでは、最初にソースを確認する Prompt が選択されています。直接コマンドに切り替えるか、ローカルコピーをダウンロードすることもできます。
インストールを決める前に、SKILL.md と SkillsMP に表示されている付属ファイルをお読みください。
Codex または Claude でインストール この Prompt をコピーして Codex、Claude、または他のアシスタントに貼り付けると、Skill ページを確認してインストールできます。
直接コマンドでは確認用 Prompt が省略されます。実行前にソースを確認してください。
npx skills add https://github.com/redeemed-sis/genrt --skill genrt-qemu-testコマンドは1行のまま表示されます。コピー前に横へスクロールして全体を確認してください。
ローカルで確認しますか？SkillsMP が現在取得できるファイルをダウンロードできます。
SKILL.md を表示中
SOC 職業分類に基づく
| name | genrt-qemu-test |
| description | Use when adding, changing, debugging, or reviewing genrt AArch64 QEMU contract tests and test artifacts. Do not use for ordinary interactive QEMU demos without machine assertions. |
GTRT/1 records as the only machine pass/fail protocol. Ignore ordinary
UART prose for assertions while retaining it in serial.log.target/test-results/<case>/, then run
cargo xtask ci for cross-cutting changes.Read tests/qemu/README.md, docs/testing.md, and ADR-0025 before changing the
runner or protocol.