l...@gnu.org (Ludovic Courtès) writes:
> Mark H Weaver <m...@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
