--- wikisrc/ports/evbarm/tegra.mdwn	2015/08/11 23:11:50	1.24
+++ wikisrc/ports/evbarm/tegra.mdwn	2015/09/02 18:31:56	1.25
@@ -53,6 +53,10 @@ bootm 0x90000000
 $ mkubootimage -A arm -C none -O netbsd -T script -a 0 -n "NetBSD/tegra boot" boot.txt boot.scr
 """]]
 
+# Getting U-Boot
+
+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).
+
 # Links
 
 - [NVIDIA Jetson TK1 development kit](https://developer.nvidia.com/jetson-tk1)