Hi Roman, Thanks for the feedback. I'm surprised to see this again, since I've tried to consistently use .thumb annotations in the assembly. I'll try to take your config and reproduce it somewhere. Probably I should just order a single board computer for this, but I think I'll try to kexec on scaleway first. Jason