Re: [dev-context] ARMv7 hardfp or softfp detection