--- wikisrc/ports/evbarm/tegra.mdwn	2015/05/12 10:54:21	1.5
+++ wikisrc/ports/evbarm/tegra.mdwn	2015/08/11 23:11:50	1.24
@@ -7,7 +7,8 @@
 
 # Supported hardware
  - CPU: Cortex-A15: NVIDIA Tegra K1 (T124) (4-core)
- - VFP / NEON
+   - VFP / NEON
+   - CPU frequency scaling
  - GIC
  - ARM generic timer
  - Clock and reset controller
@@ -18,26 +19,29 @@
  - I2C controller
  - UART [[!template id=man name="com" section="4"]] serial console
  - RTC
- - SDMMC controller
+ - Watchdog timer
+ - 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
+ - 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)
+   - TMP451 [[!template id=man name="titemp" section="4"]] temperature sensor (on I2C)
+   - RF kill switch
+   - Power button
 
 # TODO
- - SMP stability
- - CPU frequency scaling
- - eMMC support
- - 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
- - TMP451 temperature sensor
+ - Analog audio output (I2S, Audio codec, APB DMA)
  - AS3722 power management unit
- - [[!template id=man name="ahcisata" section="4"]] (for SATA support)
+ - GPU (nouveau)
+ - USB 3.0 [[!template id=man name="xhci" section="4"]] controller
+ - SPI controller
+ - PWM controller
 
 # Generating a boot script