--- wikisrc/ports/evbarm.mdwn	2015/03/29 21:18:29	1.18
+++ wikisrc/ports/evbarm.mdwn	2015/05/04 10:47:18	1.20
@@ -84,8 +84,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**
 
@@ -207,6 +210,9 @@ Support for the NTNP425B was written by 
  * Other devices inserted into the PCI/mPCI slot
  * On-chip watchdog timer (_ixpwdog_)
 
+### 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.