It is not a classical x86. It might have an x86 instruction set but that's where its resemblance ends. It's a truly absurdly alien device. The authors had to

It is not a classical x86. It might have an x86 instruction set but that's where its resemblance ends. It's a truly absurdly alien device. The authors had to define a new architecture type in the Linux kernel to get everything to work. I'd advice watching his talk from 33c3 (linked in top comment). It is hilarious.