--- wikisrc/ports/evbarm/tegra.mdwn	2017/07/31 17:54:21	1.47
+++ wikisrc/ports/evbarm/tegra.mdwn	2017/10/10 10:52:21	1.48
@@ -1,6 +1,11 @@
 [[!meta title="NetBSD/evbarm on NVIDIA Tegra"]]
 
-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.
+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.
+
+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.
+
 
 [[!toc levels=2]]
 
@@ -8,6 +13,8 @@ The NetBSD tegra port currently supports
  - CPU: Cortex-A15: NVIDIA Tegra K1 (T124) (4-core)
    - VFP / NEON
    - CPU frequency scaling
+ - CPU: Cortex-A57: NVIDIA Tegra X1 (T210) (4-core)
+   - VFP / NEON
  - GIC
  - ARM generic timer
  - Clock and reset controller
@@ -35,6 +42,8 @@ The NetBSD tegra port currently supports
    - TMP451 [[!template id=man name="titemp" section="4"]] temperature sensor (on I2C)
    - RF kill switch
    - Power button
+ - Jetson TX1
+   - On-board Realtek RTL8153 [[!template id=man name="cdce" section="4"]] gigabit ethernet
  - AS3722 power management unit
  - eFUSE
  - SoC thermal sensors
@@ -70,6 +79,8 @@ $ mkubootimage -A arm -C none -O netbsd 
 
 Jetson TK1 boards come with Linux4Tegra R19.x installed, which doesn't use U-Boot. The easiest way to get U-Boot is to upgrade to Linux4Tegra R21.x (Linux PC or VM required) following the [quick start guide](http://developer.download.nvidia.com/embedded/L4T/r21_Release_v4.0/l4t_quick_start_guide.txt).
 
+U-Boot for Jetson TX1 is available in pkgsrc: [sysutils/u-boot-jetson-tx1](http://pkgsrc.se/sysutils/u-boot-jetson-tx1).
+
 # Modesetting
 
 ## Console