--- wikisrc/ports/evbarm/tegra.mdwn	2017/10/11 08:43:24	1.49
+++ wikisrc/ports/evbarm/tegra.mdwn	2019/10/04 10:13:52	1.50
@@ -1,9 +1,9 @@
 [[!meta title="NetBSD/evbarm on NVIDIA Tegra"]]
 
-NetBSD 8.0 supports the NVIDIA Tegra K1 (32-bit) system-on-a-chip.
-NetBSD -current adds support for the NVIDIA Tegra X1 system-on-a-chip.
+NetBSD 8.0 supports the NVIDIA Tegra K1 (32-bit) system-on-a-chip.  
+NetBSD 9.0 adds support for the NVIDIA Tegra X1 system-on-a-chip.
 
-The [NVIDIA Jetson TK1 development kit](https://developer.nvidia.com/jetson-tk1) is a board based on the Tegra K1 SoC.
+The [NVIDIA Jetson TK1 development kit](https://developer.nvidia.com/jetson-tk1) is a board based on the Tegra K1 SoC.  
 The [NVIDIA Jetson TX1 development kit](https://developer.nvidia.com/jetson-tx1) is a board based on the Tegra X1 SoC.