--- wikisrc/ports/evbarm.mdwn	2017/10/21 22:43:03	1.43
+++ wikisrc/ports/evbarm.mdwn	2018/11/07 14:33:50	1.51
@@ -1,18 +1,16 @@
 [[!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"
+port_var1="earm"
+port_var2="earmeb"
+port_var3="earmv6hf"
+port_var4="earmv7hf"
+port_var5="earmv7hfeb"
+port_var_install_notes="evbarm-earm"
+cur_rel="8.0"
+future_rel="9.0"
+changes_cur="8.0"
+changes_future="9.0"
 thumbnail="http://www.netbsd.org/images/ports/evbarm/adi_brh.gif"
 about="""
 NetBSD/evbarm is the port of NetBSD to various evaluation and prototyping
@@ -29,7 +27,7 @@ three main variables: the instruction se
 there is hardware floating point.  By default the CPU type is "earm",
 and this implies little endian (el when explicitly stated), and soft
 (emulated) floating point.  Another example, suitable for Raspberry PI
-2, is earmv7hf, which is the v7 instruction support, little endian,
+2, is earmv7hf, which is the v7 instruction set, little endian,
 and hardware floating point.
 
 Typically, various boards are best compiled with a CPU type that
@@ -37,12 +35,21 @@ matches the board's CPU and floating poi
 lower CPU instruction set version is workable on a newer board.  See
 build.sh and look for aliases for the evbarm port.
 
+Some processors can operate as arm or the 64-bit ARM variant, aarch64, which is supported by
+[[NetBSD/aarch64|aarch64]].
+
 ### 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.  evbarm-earmv7hf uses "qemu -M
+vexpress-a15" and evbarm-aarch64 uses "qemu -M virt".  (Information on
+how to test emulated versions of other specific hardware is welcome.)
+
 ### Board specific information
  - [[Allwinner sunxi family SoCs|Allwinner]]
  - [[BeagleBone and BeagleBone Black|BeagleBone]]
@@ -254,9 +261,6 @@ Support for NVIDIA [[Tegra]] K1 SoCs is 
 ### 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.
 
-### Rockchip PX2/RK3066/RK3188/RK3188+
-Various [[Rockchip]] family SoCs are supported by the ROCKCHIP kernel.
-
 ### Samsung **SMDK2410**
 
 The SMDK2410 is the reference platform for the Samsung **S3C2410** processor,