On 22 June 2011 17:16, Jamie Iles <ja...@jamieiles.com> wrote: > The ARM1176 technically is a v6K core, but the actual definition of v6K > seems a bit vague on required features. > > As wfi is a valid encoding on 1176 I personally don't see this as being > a blocking issue (though technically incorrect, though most code > targeted for this CPU presumably wouldn't emit a wfi instruction?).
Yeah, I think we're down in the noise really here. Some older versions of the Linux kernel incorrectly emitted a WFI insn rather than the cp15 op, but that bug was fixed. In any case I doubt anybody's written code that relies on the wfi insn being implemented as a nop... Calling it a v6k in qemu is probably on balance better than not. -- PMM
