--- wikisrc/ports/evbarm/tegra.mdwn	2016/06/18 06:44:48	1.37
+++ wikisrc/ports/evbarm/tegra.mdwn	2017/04/13 20:56:52	1.41
@@ -21,6 +21,8 @@ The NetBSD tegra port currently supports
  - Watchdog timer
  - SDMMC [[!template id=man name="sdhc" section="4"]] controller
  - USB 2.0 [[!template id=man name="ehci" section="4"]] controller
+ - USB 3.0 [[!template id=man name="xhci" section="4"]] controller
+   - Requires the [sysutils/tegra-firmware](http://pkgsrc.se/sysutils/tegra-firmware) package to be installed.
  - PCI express
  - SATA [[!template id=man name="ahcisata" section="4"]] controller
  - HDMI
@@ -43,7 +45,6 @@ The NetBSD tegra port currently supports
  - APB DMA
  - Audio Hub (AHUB)
  - GPU (nouveau)
- - USB 3.0 [[!template id=man name="xhci" section="4"]] controller
  - SPI controller
  - PWM controller
  - PCIe MSI support
@@ -52,7 +53,7 @@ The NetBSD tegra port currently supports
 
 # Generating a boot script
 
-The Tegra kernels need a .dtb for your board to boot. [NVIDIA Jetson TK1 .dtb](http://ftp.netbsd.org/pub/NetBSD/misc/skrll/tegra/tegra124-jetson-tk1.dtb)
+The Tegra kernels need a .dtb for your board to boot. The dtb here was updated on 2017-04-13 and is generated from a Linux 4.10.10 source tree. [NVIDIA Jetson TK1 .dtb](http://ftp.netbsd.org/pub/NetBSD/misc/jmcneill/tegra/tegra124-jetson-tk1.dtb)
 
 [[!template  id=programlisting text="""
 $ cat boot.txt
@@ -364,3 +365,5 @@ WARNING: CHECK AND RESET THE DATE!
 - [Hardware documentation](https://developer.nvidia.com/hardware-design-and-development)
 - [Linux For Tegra](https://developer.nvidia.com/linux-tegra)
 - [Device Tree](http://www.devicetree.org)
+
+.