[mizar] ARM architecture

[marco caminati <spam.caminati@gmail.com>]

I have a machine based on Cortex-A8 (armv7 instruction set) architecture.
More specifically, the cpu is an Allwinner A10, the one powering the
mass of chinese tablets being invading low-end market recently.
I can run various Linux distros on it, both with float emulation
(armel) and hard floating (armhf) EABIs.

In no case I could get Mizar binaries running on it.
Dealing with ARM is a mess because of lacking compatibility between
various cores; however, RaspberryPi, Mk802 and tablets are making at
least v6 and v7 quite popular: is there a way to have Mizar on such
hardware?

Indeed, I couldn't get to know the ARM core family the binaries on
mizar site were (cross) built for, either: anyone knows?

Best regards, and wishes of a decent reprise of working activities to everybody.
Marco