@Orca @ncopa 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)
N
