--- wikisrc/ports/evbarm/tegra.mdwn	2015/05/30 13:27:25	1.12
+++ wikisrc/ports/evbarm/tegra.mdwn	2015/05/30 14:47:45	1.13
@@ -24,6 +24,7 @@
  - 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)
  - 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,7 +36,6 @@
  - SD/MMC UHS-I support (needs [[!template id=man name="sdmmc" section="4"]] changes)
  - Framebuffer console
  - HDMI
- - [[!template id=man name="hdaudio" section="4"]] (for HDMI audio)
  - I2S
  - Audio codec
  - AS3722 power management unit