--- wikisrc/ports/evbarm.mdwn	2017/03/30 16:06:58	1.36
+++ wikisrc/ports/evbarm.mdwn	2017/06/06 16:45:16	1.37
@@ -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.