Re: wip-armhf branch ready for wider testing

[Mark H Weaver <mhw@netris.org>]

ludo@gnu.org (Ludovic Courtès) writes:

> Mark H Weaver <mhw@netris.org> 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):

--8<---------------cut here---------------start------------->8---
   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.
--8<---------------cut here---------------end--------------->8---

Do you think more is needed?

      Mark