Comment 3 for bug 1839783

Revision history for this message
Sébastien Villemot (sebastien-villemot) wrote :

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).