On 04/04/17 17:35, mark.reinh...@oracle.com wrote: > This does raise another question, though: Should we use "aarch32" > instead of "arm32" for the 32-bit ARM architecture?
Probably not. I believe that "aarch32" is historical revisionism coming from ARM: it didn't exist as a name before AArch64 came out. AFAICR... Andrew.
