> Concerning "cleaning up cruft in the ARM tree", note that this very issue
> is biting Raspberry Pi users on the ass; was it Debian that dumped ARM6
No, it was not. The Debian armel port is still at armv5. IIRC Fedora and Ubuntu however only support v7.
I think someone had a special Raspberry Pi Debian port for v6 hard float. I think some people are also working on a Debian armv7 hard float port that aims for official inclusion (but doesn't aim to replace the current v5 soft float port).