There's a debian hardfp port as well (arch "armhf", as opposed to "armel") in the current debian testing release (aka wheezy.) http://wiki.debian.org/ArmHardFlo

There's a debian hardfp port as well (arch "armhf", as opposed to "armel") in the current debian testing release (aka wheezy.) http://wiki.debian.org/ArmHardFloatPort http://wiki.debian.org/ArmHardFloatPort Not all packages have been successfully ported yet, but it seems to be coming along well.