Hey, if someone wants to help in a big way of getting a port of Debian armhf (hard float) to the RPi, I could use some help tracking down some internal compiler errors. Without fixing the compiler to build Debian packages for ARMv6+VFP in a reliable way we'll never get to automating the process which is an absolute requirement.
I've filed a bug for one problem including a reproducible test case GCC Buzzilla here: http://gcc.gnu.org/bugzilla/sh.....i?id=52855
I'm working on creating a test case against the umodified version of GCC that is standard with Debian wheezy armhf. That probably stands a greater chance of being examined by the gcc TPTB.
Finding someone who knows something about the internals of GCC, the ARM code generation in particular, is probably a very rare thing, but perhaps someone on these forums knows a friend of a friend who could help answer some questions.
I suspect that for some reason, the gcc compiler is producing RTL code (the internal "register transfer language" that gcc uses to represent machine code in a generic manner) that can't be mapped into ARMv6 instructions. But this is just an educated guess on my part. The fix could be simple as a config option for gcc I'm overlooking.