On 20 October 2017 at 16:12, Christophe Lyon <christophe.lyon+launch...@gmail.com> 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
