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.