On 05/06/2018 04:41 PM, vincentc wrote: > + $r26 - $r27 are temp registers for OS - no need to save. Shouldn't you save them in case you decide to use them for a thread pointer eventually or something like that? Thanks, Florian