--- wikisrc/ports/evbarm.mdwn	2017/10/08 14:42:05	1.39
+++ wikisrc/ports/evbarm.mdwn	2018/02/08 00:16:55	1.46
@@ -9,7 +9,7 @@ port_var5="earmv6hf"
 port_var6="earmv7hf"
 port_var7="earmv7hfeb"
 port_var_install_notes="evbarm-arm"
-cur_rel="7.1"
+cur_rel="7.1.1"
 future_rel="8.0"
 changes_cur="7.0"
 changes_future="8.0"
@@ -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]]
- - [[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]]
 
 """
 
@@ -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**