--- wikisrc/ports/evbarm/tegra.mdwn	2015/05/18 12:08:24	1.9
+++ wikisrc/ports/evbarm/tegra.mdwn	2015/05/24 22:31:17	1.10
@@ -22,6 +22,7 @@
  - SDMMC [[!template id=man name="sdhc" section="4"]] controller
  - USB 2.0 [[!template id=man name="ehci" section="4"]] controller
  - PCI express
+ - SATA [[!template id=man name="ahcisata" 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)
@@ -37,7 +38,6 @@
  - I2S
  - Audio codec
  - AS3722 power management unit
- - [[!template id=man name="ahcisata" section="4"]] (for SATA support)
  - Watchdog timer
 
 # Generating a boot script