Menu
Use when comparing Machina behavior with QEMU, using difftest/oracle tooling, or debugging CPU, interrupt, memory, or device-model parity.
Install with Codex or Claude Copy this prompt, paste it into Codex, Claude, or another assistant, and let it review the skill page and install it for you.
Based on SOC occupation classification
Use when building Machina, running cargo check, debugging Rust build failures, or deciding which repository build command to run.
Use when finding Machina definitions, call sites, crate boundaries, device models, target code, or QEMU-inspired subsystem mappings.
Use when reviewing Machina pull requests, local diffs, commits, or mailing-list patch series that may inform Machina changes.
Use when summarizing or preparing to debug Machina GitHub issues, bug reports, feature requests, or reproduction notes.
Use when choosing, adding, listing, or running Machina tests, including targeted Rust tests and workspace validation.
| name | machina-qemu-oracle |
| description | Use when comparing Machina behavior with QEMU, using difftest/oracle tooling, or debugging CPU, interrupt, memory, or device-model parity. |
| license | MIT |
Use QEMU as a reference when behavior should match established machine or device semantics.
tests/src/oracle.rs for the oracle contract.tests/src/ for existing hardware regression tests.tools/oracle/ and tools/difftest/ before adding new tooling.docs/en/reference.md for test architecture notes.tests/ before changing behavior.hw/ crate unless a shared contract
is wrong.