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