Re: wip-armhf branch ready for wider testing

[Ludovic Courtès]

Mark H Weaver <address@hidden> skribis:

> address@hidden (Ludovic Courtès) writes:
>
>> Mark H Weaver <address@hidden> skribis:
>>
>>> Our armhf targets the same set of machines as Debian's armhf, namely the
>>> ARMv7-A architecture with VFP3D16 coprocessor.  So 'uname -m' must
>>> output "armv7l" or better, and I guess the processor "Features" as
>>> reported by /proc/cpuinfo must include "vfpv3" and either "vfpd16"
>>> or "vfpd32".
>>
>> Since it’s becoming a FAQ, could you add something along these lines to
>> the manual, right where armhf-linux is introduced?
>
> I already put this in the "GNU Distribution" node (chapter 6):
>
>    The GNU distribution is currently available on the following
> platforms:
>
> [...]
>
> ‘armhf-linux’
>      ARMv7-A architecture with hard float, Thumb-2 and VFP3D16
>      coprocessor, using the EABI hard-float ABI, and Linux-Libre kernel.
>
> Do you think more is needed?

Perhaps in parentheses or in a footnote indicate what to look for in
“uname -m” and /proc/cpuinfo?  WDYT?

Ludo’.