On Mon, 2016-06-20 at 17:42 +0200, Cédric Le Goater wrote:
flushing the cache does not seem necessary. I suppose because we did not go through this range of instructions yet, I am not sure how qemu handle the cache instructions. Need to check.
Thanks, I will bake a patch for it.
The cache might prefetch, you need to do the dcbf/sync/icbi/isync dance (it's not needed on modern processors but is on older ones so better safe than sorry in openbios).
You didn't see a problem also because qemu doesn't care ;-)
Cheers, Ben.