--- wikisrc/ports/evbarm.mdwn	2017/03/30 16:06:58	1.36
+++ wikisrc/ports/evbarm.mdwn	2019/06/12 08:29:41	1.72
@@ -1,19 +1,17 @@
 [[!template id=port
 port="evbarm"
 port_alt="arm"
-port_var1="arm"
-port_var2="armeb"
-port_var3="earm"
-port_var4="earmeb"
-port_var5="earmv6hf"
-port_var6="earmv7hf"
-port_var7="earmv7hfeb"
-port_var_install_notes="evbarm-arm"
-cur_rel="7.1"
-future_rel="8.0"
-changes_cur="7.0"
-changes_future="8.0"
-thumbnail="http://www.netbsd.org/images/ports/evbarm/adi_brh.gif"
+port_var1="earm"
+port_var2="earmeb"
+port_var3="earmv6hf"
+port_var4="earmv7hf"
+port_var5="earmv7hfeb"
+port_var_install_notes="evbarm-earm"
+cur_rel="8.1"
+future_rel="9.0"
+changes_cur="8.1"
+changes_future="9.0"
+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 +20,57 @@ designs.
 
 Matt Thomas is the maintainer of NetBSD/evbarm.
 
+### CPU types
+
+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), earmv5 cpu
+architecture, little endian (el when explicitly stated), and soft
+(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.
+
+Typically, various boards are best compiled with a CPU type that
+matches the board's CPU and floating point support, but generally a
+lower CPU instruction set version is workable on a newer board.  See
+build.sh and look for aliases for the evbarm port.
+
+Through NetBSD 8, the evbarm port has supported exclusively the
+aarch32 (32-bit CPU) sub-family of the ARM architecture.  Some
+processors, such as many supporting the armv8 CPU architecture, also
+support a 64-bit instruction set, referred to as aarch64.  This is
+sometimes referred to as a distinct port, [[NetBSD/aarch64|aarch64]],
+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
+CPU type used for the build.  Typically, a particular board requires a
+kernel for that board.
+
+### anita and qemu
+
+anita can be used to test builds.  (In addition to anita, install qemu and dtb-arm-vexpress from pkgsrc.)   The release subdirectory should follow the naming convention on the autobuild cluster, used below.
+
+ - evbarm-earmv7hf uses "qemu-system-arm -M vexpress-a15"
+ - evbarm-aarch64 uses "qemu-system-aarch64 -M virt"
+ - Information on how to test emulated versions of other specific hardware is welcome.
+
 ### Board specific information
- - [[BeagleBone and BeagleBone Black|BeagleBone]]
- - [[Cubieboard 2, Cubietruck, Cubieboard 4, Banana Pi, and other Allwinner boards|Allwinner]]
- - [[NVIDIA Jetson TK1|Tegra]]
+ - [[Allwinner sunxi family SoCs|Allwinner]]
+ - [[BeagleBone, BeagleBone Black, and PocketBeagle|BeagleBone]]
+ - [[NVIDIA Tegra|Tegra]]
  - [[ODROID C1 and C1+|ODROID-C1]]
- - [[Raspberry Pi and Pi 2|Raspberry Pi]]
+ - [[Raspberry Pi 1, 2 and 3|Raspberry Pi]]
 
 """
 
@@ -57,7 +100,7 @@ limited to 64M due to the layout of the 
 systems should obtain an FPGA upgrade from ADI to revision 8 or later of the
 BECC.
 
-### Allwinner Technology A20/A31
+### Allwinner Technology
 Various boards based on [[Allwinner]] SoCs are supported, including the BananaPi, Cubieboard 2, Cubietruck, Cubieboard 4, and Merrii Hummingbird A31.
 
 ### Arcom **Viper**
@@ -227,13 +270,11 @@ Support for the NTNP425B was written by 
  * On-chip watchdog timer (_ixpwdog_)
 
 ### NVIDIA Tegra K1
-Support for NVIDIA [[Tegra]] K1 SoCs is present in NetBSD-current. The Jetson TK1 board is currently supported.
-
-### Raspberry Pi Foundation **Raspberry Pi**/**Raspberry Pi 2**
-The [[Raspberry Pi]] is a low-cost credit-card-sized computer from the Raspberry Pi Foundation. Both the Raspberry Pi and Raspberry Pi 2 are supported.
+Support for NVIDIA [[Tegra]] K1 SoCs is present in NetBSD-current and
+8.0_BETA. The Jetson TK1 board is currently supported.
 
-### Rockchip PX2/RK3066/RK3188/RK3188+
-Various [[Rockchip]] family SoCs are supported by the ROCKCHIP kernel.
+### Raspberry Pi Foundation **Raspberry Pi**/**Raspberry Pi 2**/**Raspberry Pi 3**
+The [[Raspberry Pi]] is a low-cost credit-card-sized computer from the Raspberry Pi Foundation.  The Raspberry Pi, Pi 2, and Pi 3 are supported.
 
 ### Samsung **SMDK2410**