08:56 <pitillo> jaeger: I've found something really interesting about softfp vs hardfp... size

08:56 <pitillo> I think that's the clue about. For kernels and uboot for example there aren't floating point operations, they only work with integers, so there is no need to use a hardfloat toolchain

08:57 <pitillo> they increase size... for kernels probably doesn't matter, but in case of u-boot size is one of the most important keys

15:45 <jaeger> Hrmm, ok