[tlbuild] ARM versions

[Simon Dales]

Anybody know about the relative performances between different ARM
binaries? WRT TeX.

I wish to retain backward compatibility so my binaries are for Raspberry
Pi version 1; which is armv6.

The RPi 2 and 3 have v7 chips. Eventually a RPi 4 with some other arm
chip.

How inefficiently does an armv6 binary run on a v7 machine relative to
native v7?

So is there a case for building multiple binaries, like we do for the
Intels?

/////////////////

Simon