--- wikisrc/ports/evbarm/tegra.mdwn	2015/11/12 13:21:49	1.29
+++ wikisrc/ports/evbarm/tegra.mdwn	2015/11/12 13:26:20	1.30
@@ -1,10 +1,9 @@
 [[!meta title="NetBSD/evbarm on NVIDIA Tegra"]]
 
-**The Tegra port is work in progress**
+The NetBSD tegra port currently supports the NVIDIA Tegra K1 (32-bit) 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.
 
 [[!toc levels=2]]
 
-
 # Supported hardware
  - CPU: Cortex-A15: NVIDIA Tegra K1 (T124) (4-core)
    - VFP / NEON