On 22 Sep 2011, at 13:26, Sash0k wrote: > But in the future I plan to migrate to Debian hardfloat port: http://wiki.debian.org/ArmHardFloatPo > rt Note that this ABI is not supported by FPC at this time. Jonas