Quite honestly, I've never heard the terms "ARMHF" and "ARMEL" till now.
Based on some googling, it appears that the primary difference is hard/soft floating point.
So 2 questions follow...
1. I'm using arm-none-linux-gnueabi-gcc (Sourcery CodeBench Lite 2013.05-24) 4.7.3,
how do I know if this is armhf or armel? Is there a way to tell through the commandline?
2. Since I'm working with iMX6, shouldn't I be ok to use ARMHF?