--- wikisrc/ports/evbarm/tegra.mdwn	2015/07/25 15:53:16	1.17
+++ wikisrc/ports/evbarm/tegra.mdwn	2015/08/02 22:47:45	1.23
@@ -27,6 +27,7 @@
  - 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)
@@ -35,12 +36,10 @@
    - Power button
 
 # TODO
- - eMMC support
- - SD/MMC UHS-I support (needs [[!template id=man name="sdmmc" section="4"]] changes)
- - 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
 
 # Generating a boot script