I have a few Raspberry Pi 3 devices and want my Koji setup to build for
them too. I've started by making one of a Koji Builder -- it's probably
not ideal but I'm really new to the ARM hardware. I'm confused on some
terminology though. In the Fedora mirrors I grabbed (per the Fedora
Wiki instructions) a live image from the "armhfp" part of the tree in
the mirrors. Running uname shows:
Linux
koji-b3-f27.doubledog.org
4.13.15-300.fc27.armv7hl #1 SMP Tue Nov 21 22:24:22 UTC 2017 armv7l
armv7l armv7l GNU/Linux
No mention of "armhfp" there at all. Looking at FPO's own Koji I see
the f27-build tag lists "armv7hl" in the arches field though the hosts
all seem to show "armhfp".
I'm guessing this like "i386" is to "i686". I figure that I
should
probably do similar to FPO with `koji add-host --arches armhfp ...` and
`koji add-tag --arches armv7hl ...`. Is that right?
Also, if anyone can suggest better hardware for a light duty ARM
builder I'd appreciate it.