On Fri, May 04, 2018 at 04:01:32PM +0200, Mathieu Malaterre wrote: > >>> > You need to set up r13. This is powerpc64? (32-bit works fine for me, > >>> > but you may be using a different ABI, you didn't tell. I'm on Linux). > => 0x10000180 <+48>: lwz r9,-28720(r2) So apparently you're using EABI? Same issue as with r13, only this is SDA2 instead of SDA. Segher