On 06/19/2016 04:08 PM, Benjamin Herrenschmidt wrote: > On Sun, 2016-06-19 at 14:49 +0200, Cédric Le Goater wrote: >>> So my test is correct in the context of what we emulate today. >> >> OK. so this is an openbios issue when run under a ppc64. shouldn't we >> be using an openbios-ppc64 in that case ? >> >> >> We could be more strict with the rfi instruction. > > Well, ppc64 isn't backward compatible with ppc32 at the supervisor > level, at least not on server chips (it is on bookE chips). So yes it's > an OpenBIOS problem but that doesn't mean we have to use openbios-ppc64 > :-) > > You can run a 32-bit OS or firmware on ppc64, but it needs to know that > it's running on a 64-bit chip and do a few things differently.
yes sure but qemu would still allow rfi under 64bit CPUs, that is what I was concerned about. Is that ok ? C.