--- wikisrc/ports/evbarm.mdwn	2015/01/05 11:05:36	1.15
+++ wikisrc/ports/evbarm.mdwn	2017/03/15 08:29:16	1.35
@@ -1,10 +1,18 @@
 [[!template id=port
 port="evbarm"
 port_alt="arm"
-cur_rel="6.1.5"  
-future_rel="7.0"
-changes_cur="6.0"
-changes_future="7.0"
+port_var1="arm"
+port_var2="armeb"
+port_var3="earm"
+port_var4="earmeb"
+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"
 thumbnail="http://www.netbsd.org/images/ports/evbarm/adi_brh.gif"
 about="""
 NetBSD/evbarm is the port of NetBSD to various evaluation and prototyping
@@ -13,9 +21,20 @@ supports some specific embedded system p
 designs.
 
 Matt Thomas is the maintainer of NetBSD/evbarm.
+
+### Board specific information
+ - [[BeagleBone and BeagleBone Black|BeagleBone]]
+ - [[Cubieboard 2, Cubietruck, Cubieboard 4, Banana Pi, and other Allwinner boards|Allwinner]]
+ - [[NVIDIA Jetson TK1|Tegra]]
+ - [[ODROID C1 and C1+|ODROID-C1]]
+ - [[Raspberry Pi and Pi 2|Raspberry Pi]]
+
 """
+
 supported_hardware="""
 
+**NOTE**: This list is incomplete. For a full list of configurations, please see the [evbarm kernel configs](http://cvsweb.netbsd.org/bsdweb.cgi/src/sys/arch/evbarm/conf/) directory in CVS.
+
 [[!toc startlevel=3]]
 
 ### ADI Engineering **BRH** ("Big Red Head") 
@@ -23,9 +42,7 @@ supported_hardware="""
 The BRH is an evaluation and development platform for the Intel **i80200**
 XScale processor. The BRH is based on ADI's **BECC** ("Big Endian Companion
 Chip"). The BRH is capable of both big- and little-endian operation, although
-NetBSD currently only supports little-endian operation. More information about
-the BRH can be found on [ADI Engineering's web
-page](http://www.adiengineering.com/productsBRH.html).
+NetBSD currently only supports little-endian operation.
 
 Support for the BRH was written by Jason Thorpe, and contributed by Wasabi
 Systems, Inc.
@@ -40,7 +57,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 A10/A20/A31
+### Allwinner Technology A20/A31
 Various boards based on [[Allwinner]] SoCs are supported, including the BananaPi, Cubieboard 2, Cubietruck, Cubieboard 4, and Merrii Hummingbird A31.
 
 ### Arcom **Viper**
@@ -68,6 +85,7 @@ ARM, Ltd.
 
  * PrimeCell PL010 UARTs in the System Controller FPGA (_plcom_)
  * PrimeCell PL030 Real-time Clock in the System Controller FPGA (_plrtc_)
+ * PrimeCell PL181 MultiMedia Card Interface
  * Other devices inserted into the PCI expansion slots
 
 ### Atmark Techno **Armadillo-9**
@@ -82,8 +100,11 @@ Support for the Armadillo-9 was written 
  * CompactFlash socket (_eppcic_)
  * USB 1.1 ports (_ohci_)
 
-### BeagleBoard.org **BeagleBone**
-The [[BeagleBone]] is a low-cost credit-card-sized computer from BeagleBoard.
+### BeagleBoard.org **BeagleBoard** and **BeagleBoard-xM**
+The [[BeagleBoard]] is a low-power open-source hardware single-board computer from BeagleBoard.org.
+
+### BeagleBoard.org **BeagleBone** and **BeagleBone Black**
+The [[BeagleBone]] is a low-cost credit-card-sized computer from BeagleBoard.org.
 
 ### Gumstix, Inc. **gumstix**
 
@@ -110,6 +131,10 @@ When booting, it is necessary to set the
  * GPSstix (GPS not test)
  * tweener
 
+### Hardkernel ODROID-C1 and ODROID-C1+
+
+The [[ODROID-C1]] is a quad core Cortex-A5 small form-factor board from Hardkernel co., Ltd.
+
 ### Intel **DBPXA250** ("Lubbock") 
 
 DBPXA250 (a.k.a. Lubbock) is an evaluation and development platform for the
@@ -201,8 +226,11 @@ Support for the NTNP425B was written by 
  * Other devices inserted into the PCI/mPCI slot
  * On-chip watchdog timer (_ixpwdog_)
 
-### Raspberry Pi Foundation **Raspberry Pi**
-The [[Raspberry Pi]] is a low-cost credit-card-sized computer from the Raspberry Pi Foundation.
+### NVIDIA Tegra K1
+Support for NVIDIA [[Tegra]] K1 SoCs is present in NetBSD-current. 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.
@@ -285,7 +313,7 @@ Support for the TS-7200 was written by J
 
 """
 additional="""
-  * The [NetBSD Diskless HOWTO](/docs/network/netboot/)
+  * The [NetBSD Diskless HOWTO](http://www.netbsd.org/docs/network/netboot/)
   * [ Porting NetBSD/evbarm to the Arcom Viper](http://www.cs.hut.fi/~pooka/pubs/EuroBSDCon2005/viper.pdf), presented at EuroBSDCon 2005. 
 """
 ]]