On 20 October 2017 at 16:12, Christophe Lyon <[email protected]> wrote: > I'll add some printfs and see what this says.
I had a dig further in the logs and I suspect that we're either doing the two halves of strexd or the two halves of ldrexd wrong for linux-user bigendian. thanks -- PMM
