--- wikisrc/ports/evbarm.mdwn	2017/10/08 22:10:55	1.40
+++ 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,10 +22,31 @@ 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 1, 2 and 3|Raspberry Pi]]
 
@@ -233,9 +254,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,