[Arm-netbook] RedSleeve - New ARM Linux Distro

[Chris Tyler]

On Fri, 2012-04-13 at 18:15 +0700, cnxsoft wrote:
> > It is also not even clear that 12.04 is hard-float - both list kernels
> > as armv7l, rather than armv7hl.

The ABI defines the procedure call conventions not the system call
conventions -- so it only affects userland, and therefore there's no
such thing as a "hardfp kernel". Thus an armv7l kernel can be used with
a softfp or hardfp userland.

-Chris