[userbinator]

In other words, just like every other ARM SoC out there... but from the sibling comments, it sounds like user-mode binaries can stay the same.