--- wikisrc/ports/evbarm.mdwn	2017/10/21 22:39:47	1.42
+++ 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"
@@ -26,13 +26,23 @@ Matt Thomas is the maintainer of NetBSD/
 
 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 flaoting point.  By default the CPU type is "earm".
+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]]
@@ -244,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,