--- wikisrc/ports/evbarm.mdwn	2017/03/15 08:29:16	1.35
+++ wikisrc/ports/evbarm.mdwn	2017/06/06 16:45:16	1.37
@@ -37,7 +37,7 @@ supported_hardware="""
 
 [[!toc startlevel=3]]
 
-### ADI Engineering **BRH** ("Big Red Head") 
+### ADI Engineering **BRH** ("Big Red Head")
 
 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
@@ -69,7 +69,7 @@ Support for the Arcom Viper was written 
 
  * On-chip timers (_saost_ used as system clock)
  * On-chip serial ports (_com_)
- * On-board SMC91C111 ethernet (_sm_) 
+ * On-board SMC91C111 ethernet (_sm_)
 
 ### ARM, Ltd. **Integrator**
 
@@ -119,7 +119,7 @@ Support for the gumstix was written by K
  * netCF
  * netDUO
  * netDUO-mmc
- * netMMC 
+ * netMMC
 
 When booting, it is necessary to set these with u-boot dynamically.
 
@@ -135,7 +135,7 @@ When booting, it is necessary to set the
 
 The [[ODROID-C1]] is a quad core Cortex-A5 small form-factor board from Hardkernel co., Ltd.
 
-### Intel **DBPXA250** ("Lubbock") 
+### Intel **DBPXA250** ("Lubbock")
 
 DBPXA250 (a.k.a. Lubbock) is an evaluation and development platform for the
 Intel **PXA250** XScale Core application processor. More information about the **DBPXA250** can be found at [Intel website](http://www.intel.com/design/pca/applicationsprocessors/swsup/index.htm).
@@ -209,7 +209,7 @@ Support for the IXM1200 was written by I
  * On-chip timers (ixpclk0 used as system clock)
  * On-chip serial port (_ixpcom_)
 
-### NOVATEC **NTNP425B** ("ZAO425") 
+### NOVATEC **NTNP425B** ("ZAO425")
 
 NTNP425B is an evaluation and development platform for the Intel **IXP425**
 XScale Core NetworkProcessor. NTNP425B is based on the reference board of
@@ -227,7 +227,8 @@ Support for the NTNP425B was written by 
  * 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.
+Support for NVIDIA [[Tegra]] K1 SoCs is present in NetBSD-current and
+8.0_BETA. 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.
@@ -267,7 +268,7 @@ Fujitsu Component Ltd., and Genetec Corp
  * On-chip serial ports (_sscom_)
  * On-chip Host-PCI bridge (_sspci_)
  * On-chip timers (used as system clock)
- * Other devices inserted into the PCI slots 
+ * Other devices inserted into the PCI slots
 
 ### Team ASA, Inc. **Npwr**
 
@@ -314,7 +315,7 @@ Support for the TS-7200 was written by J
 """
 additional="""
   * 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. 
+  * [ Porting NetBSD/evbarm to the Arcom Viper](http://www.cs.hut.fi/~pooka/pubs/EuroBSDCon2005/viper.pdf), presented at EuroBSDCon 2005.
 """
 ]]
 [[!tag tier1port]]