--- wikisrc/ports/evbarm.mdwn	2020/09/15 08:11:13	1.95
+++ wikisrc/ports/evbarm.mdwn	2020/09/15 08:14:33	1.96
@@ -26,9 +26,9 @@ supported_hardware="""
 
 Various CPU variants are supported, e.g:
 
-- evbarm-earmv6hf - ARMv6 with EABI and hardware floating point, e.g.
+- evbarm-earmv6hf - ARMv6-A with EABI and hardware floating point, e.g.
   the original Raspberry Pi.
-- evbarm-earmv7hf - ARMv7 with EABI and hardware floating point, e.g.
+- evbarm-earmv7hf - ARMv7-A with EABI and hardware floating point, e.g.
   most recent and common 32-bit ARM boards.
 - evbarm-earmv7hfeb - Same as the above, but with the CPU running in
   big endian mode.
@@ -38,7 +38,8 @@ Various CPU variants are supported, e.g:
 
 Since NetBSD 9.0, 64-bit ARM processors are supported (referred to here
 as aarch64). These run with fully 64-bit kernels and userland. Running
-32-bit ARM binaries is also supported with `compat32`.
+32-bit ARM binaries is also supported with `compat32`. The 64-bit
+kernel supports up to 256 CPUs and the 32-bit kernel supports up to 8.
 
 Since NetBSD 9.0, there is support for symmetric and asymmetrical
 multiprocessing (aka big.LITTLE).