Debian currently has two 32-bit ARM ports:
- "armel", whose baseline is ARMv5T
- "armhf", whose baseline is ARMv7 + VFPv3-D16
There are regularly discussions about whether to drop the oldest one (armel), but for the time being there is still a demand for it.
So I’d prefer that you keep the support for ARMv5T, but I could adapt if you were to drop it (I would basically have to ask for the removal of SBCL on our armel port).
Debian currently has two 32-bit ARM ports:
- "armel", whose baseline is ARMv5T
- "armhf", whose baseline is ARMv7 + VFPv3-D16
There are regularly discussions about whether to drop the oldest one (armel), but for the time being there is still a demand for it.
So I’d prefer that you keep the support for ARMv5T, but I could adapt if you were to drop it (I would basically have to ask for the removal of SBCL on our armel port).