--- wikisrc/ports/evbarm.mdwn	2015/03/16 21:42:15	1.16
+++ wikisrc/ports/evbarm.mdwn	2015/05/20 03:15:51	1.21
@@ -16,6 +16,8 @@ Matt Thomas is the maintainer of NetBSD/
 """
 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 +25,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.
@@ -82,8 +82,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**
 
@@ -205,8 +208,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.