--- wikisrc/ports/evbarm.mdwn	2017/06/06 16:45:16	1.37
+++ wikisrc/ports/evbarm.mdwn	2018/07/19 10:15:05	1.48
@@ -9,10 +9,10 @@ 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"
+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
@@ -22,12 +22,33 @@ designs.
 
 Matt Thomas is the maintainer of NetBSD/evbarm.
 
+### CPU types
+
+The evbarm port can be built with a variety of CPU options.  There are
+three main variables: the instruction set, the endianness, and whether
+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 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.
+
+### 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.
+
 ### Board specific information
+ - [[Allwinner sunxi family SoCs|Allwinner]]
  - [[BeagleBone and BeagleBone Black|BeagleBone]]
- - [[Cubieboard 2, Cubietruck, Cubieboard 4, Banana Pi, and other Allwinner boards|Allwinner]]
- - [[NVIDIA Jetson TK1|Tegra]]
+ - [[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 +78,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**
@@ -230,11 +251,8 @@ Support for the NTNP425B was written by 
 Support for NVIDIA [[Tegra]] K1 SoCs is present in NetBSD-current and
 8.0_BETA. 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.
-
-### 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**