@Orca@nya.one @ncopa@fosstodon.org it wouldn't really affect us. We have a few armhf device ports but as it turns out all of them with the exception of two, actually target armv7-capable devices, so they should be moved to armv7. The two remaining are the Pi0 and Pi1. (see my post about this somewhere else in this thread)