On Fri, 2011-12-23 at 03:06 +0000, Gordan Bobic wrote: > Do you really mean what that says? A softfp userspace with a hardfp kernel?? Softfp/hardfp doesn't come in to play for the kernel interfaces, just userland linking. -Chris