[kikoreis]

FWIW, the Raspberry Pi 1B is an ARM11, which is why you are getting and booting an ARMv6 kernel. v6 is the architecture; the "l" at the end of "v6l" indicates it's little endian.

As for "armhf" it is a description of the the ABI, and the "hf" means what you said, that the hardware supports floating point operations. I'm slightly confused as to how armhf could work on the ARM11 on the Pi 1 and Zero generations, as AFAICR it targeted v7 onwards.

[Narishma]

"hf" is targeted at v7 and newer in Debian but I don't think it's for any technical reason. Raspbian is mostly just Debian recompiled for ARM v6 with hardfloat and it works just fine.

[rsaxvc]

ARM11 has an FPU. The FPU is particularly slow to copy back and forth to the integer registers. This the raspberry pi people support an ARM11 core with armhf ABI, albeit limited to the VFPv2 FPU instruction set.

[kikoreis]

Ah, it seems that Raspbian built for ARMv6 but still used the ABI tag "armhf", how confusing; I guess Alpine has done something similar.

https://wiki.debian.org/RaspberryPi#Raspberry_Pi_OS_.28forme...