> This just makes it even more important that any hypothetical FPU-based > Debian variant thinks very, very carefully about the ABI it uses. There > is a standard EABI variant for passing parameters in FPU registers --- > but is it sufficiently common to be useful in a cross-platform OS? Are > there devices that claim to support VFP that *don't* support this ABI? The VFP ABI is supported (and the same) on all VFP variants. Paul