On Tue, Oct 15, 2019 at 09:48:22AM +0200, Nicolas Saenz Julienne wrote: > A little off topic but I was wondering if you have a preferred way to refer to > the arm architecture in a way that it unambiguously excludes arm64 (for example > arm32 would work). arm32 should be fine. Neither arm64 nor arm32 are officially endorsed ARM Ltd names (officially the exception model is AArch32 while the instruction set is one of A32/T32/T16). -- Catalin