--- wikisrc/ports/evbarm.mdwn	2018/11/11 16:37:42	1.56
+++ wikisrc/ports/evbarm.mdwn	2019/06/12 08:29:41	1.72
@@ -7,11 +7,11 @@ port_var3="earmv6hf"
 port_var4="earmv7hf"
 port_var5="earmv7hfeb"
 port_var_install_notes="evbarm-earm"
-cur_rel="8.0"
+cur_rel="8.1"
 future_rel="9.0"
-changes_cur="8.0"
+changes_cur="8.1"
 changes_future="9.0"
-thumbnail="http://www.netbsd.org/images/ports/evbarm/adi_brh.gif"
+thumbnail="//www.netbsd.org/images/ports/evbarm/adi_brh.gif"
 about="""
 NetBSD/evbarm is the port of NetBSD to various evaluation and prototyping
 boards based on CPUs implementing the ARM architecture. NetBSD/evbarm also
@@ -22,12 +22,14 @@ Matt Thomas is the maintainer of NetBSD/
 
 ### CPU types
 
-The evbarm port can be built with a variety of CPU options.  There are
+The evbarm port can be built with a variety of CPU options, corresponding to the
+[large array of ARM CPU architectures](https://en.wikipedia.org/wiki/ARM_architecture#Cores).
+There are
 four main variables: the word size, the instruction set, the
 endianness, and whether there is hardware floating point.  By default
-the CPU type is "earm", and this implies aarch32 (32-bit), \todo cpu
+the CPU type is "earm", and this implies aarch32 (32-bit), earmv5 cpu
 architecture, little endian (el when explicitly stated), and soft
-(emulated) floating point.  Another example, suitable for Raspberry PI
+(Emulated) floating point.  Another example, suitable for Raspberry PI
 2, is earmv7hf, which is aarch32, the v7 instruction set, little
 endian, and hardware floating point.
 
@@ -44,6 +46,11 @@ sometimes referred to as a distinct port
 with code in src/sys/arch/aarch64, but it is built as the evbarm port
 with aarch64 cpu type, and available as the alias evbarm64.
 
+Note that MACHINE_ARCH=aarch64 currently refers to the A64 instruction
+set and the aarch64 architecture, built for the armv8 architecture.
+(Note also that armv8 is the first architecture to support aarch64, so
+this will not be an issue until at least armv9.)
+
 ### Kernels and userland
 
 The evbarm userland can be used on any system that can run code of the
@@ -60,7 +67,7 @@ anita can be used to test builds.  (In a
 
 ### Board specific information
  - [[Allwinner sunxi family SoCs|Allwinner]]
- - [[BeagleBone and BeagleBone Black|BeagleBone]]
+ - [[BeagleBone, BeagleBone Black, and PocketBeagle|BeagleBone]]
  - [[NVIDIA Tegra|Tegra]]
  - [[ODROID C1 and C1+|ODROID-C1]]
  - [[Raspberry Pi 1, 2 and 3|Raspberry Pi]]