--- wikisrc/ports/evbarm/tegra.mdwn	2015/05/12 10:54:50	1.6
+++ wikisrc/ports/evbarm/tegra.mdwn	2015/05/12 21:03:14	1.7
@@ -24,6 +24,7 @@
  - 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)
 
 # TODO
  - SMP stability
@@ -35,7 +36,6 @@
  - [[!template id=man name="hdaudio" section="4"]] (for HDMI audio)
  - I2S
  - Audio codec
- - TMP451 temperature sensor
  - AS3722 power management unit
  - [[!template id=man name="ahcisata" section="4"]] (for SATA support)