On 01/10/2018 06:47 PM, David Gibson wrote: > Ah. But maybe a different version to older ARM32s?
No, the bug affected all arm32 back to the beginning of time. > I'm trying to figure out why I entirely failed to reproduce this on a > Raspberry Pi 1 (and a couple of other arm32 machines, but I forget the > details of them). I can't imagine, really. You should have been able to see it there. r~
