--- wikisrc/ports/evbarm/tegra.mdwn	2015/07/23 15:01:37	1.16
+++ wikisrc/ports/evbarm/tegra.mdwn	2015/07/25 15:53:16	1.17
@@ -24,8 +24,9 @@
  - 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)
- - Framebuffer console (HDMI)
+ - HDMI
+   - Framebuffer console
+   - HDMI Audio [[!template id=man name="hdaudio" section="4"]] controller
  - 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)