--- wikisrc/ports/evbarm.mdwn	2017/10/21 22:45:12	1.44
+++ 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"
@@ -254,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,