Re: aarch64 and armv6 vs. armv7 support: armv6 is not supported, despite what "man arch" reports

From: Dimitry Andric <dim_at_FreeBSD.org>
Date: Thu, 07 Dec 2023 09:19:26 UTC 
On 7 Dec 2023, at 05:31, Mark Millard <marklmi@yahoo.com> wrote:
> 
> man arch reports:
> 
> QUOTE
>     Some machines support more than one FreeBSD ABI.  Typically these are
>     64-bit machines, where the “native” LP64 execution environment is
>     accompanied by the “legacy” ILP32 environment, which was the historical
>     32-bit predecessor for 64-bit evolution.  Examples are:
> 
>           LP64         ILP32 counterpart
>           amd64        i386
>           powerpc64    powerpc
>           aarch64      armv6/armv7

So, this might be replaced with "armv6^armv7" or "armv6 xor armv7", then?

-Dimitry