Debian or Armbian 32 bit?

[dieselnutjob]

In the Wiki https://wiki.pine64.org/index.php?title=...Pro_images
there are couple of Debian / Armbian images listed.
Are any of these pure 32 bit ARM ?

thanks

[tophneal]

Probably not. I believe the Armbian images are 64bit, and MrFixit's Debian is 64bit kernel with a 32bit userland. So if you need to run 32bit binaries, go with the MrFixit Debian.

[xmixahlx]

the unofficial debian installer works great for 32bit, also, and uses an arm64 kernel.

[dieselnutjob]

MrFixiIts 32 bit userland appears to be good enough for what I need.

Thanks