--- wikisrc/ports/evbarm/tegra.mdwn	2015/05/30 14:47:45	1.13
+++ wikisrc/ports/evbarm/tegra.mdwn	2015/09/02 18:31:56	1.25
@@ -24,22 +24,24 @@
  - USB 2.0 [[!template id=man name="ehci" section="4"]] controller
  - PCI express
  - SATA [[!template id=man name="ahcisata" section="4"]] controller
- - [[!template id=man name="hdaudio" section="4"]] (needs HDMI)
+ - HDMI
+   - Framebuffer console
+   - HDMI Audio [[!template id=man name="hdaudio" section="4"]] controller
+   - HDMI CEC
  - Jetson TK1
    - On-board Realtek 8111G [[!template id=man name="re" section="4"]] gigabit ethernet 
    - EEPROM [[!template id=man name="seeprom" section="4"]] (on I2C)
    - TMP451 [[!template id=man name="titemp" section="4"]] temperature sensor (on I2C)
+   - RF kill switch
+   - Power button
 
 # TODO
- - SMP stability
- - eMMC support
- - SD/MMC UHS-I support (needs [[!template id=man name="sdmmc" section="4"]] changes)
- - Framebuffer console
- - HDMI
- - I2S
- - Audio codec
+ - Analog audio output (I2S, Audio codec, APB DMA)
  - AS3722 power management unit
  - GPU (nouveau)
+ - USB 3.0 [[!template id=man name="xhci" section="4"]] controller
+ - SPI controller
+ - PWM controller
 
 # Generating a boot script
 
@@ -51,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)