--- wikisrc/ports/evbarm/tegra.mdwn	2015/04/11 17:21:30	1.1
+++ wikisrc/ports/evbarm/tegra.mdwn	2015/05/12 10:53:01	1.4
@@ -2,10 +2,48 @@
 
 **The Tegra port is work in progress**
 
+[[!toc levels=2]]
+
+
+# Supported hardware
+ - CPU: Cortex-A15: NVIDIA Tegra K1 (T124) (4-core)
+ - VFP / NEON
+ - GIC
+ - ARM generic timer
+ - Clock and reset controller
+ - GPIO controller
+ - MPIO / pinmux controller
+ - Memory controller
+ - Power management controller
+ - I2C controller
+ - UART [[!template id=man name="com" section="4"]] serial console
+ - RTC
+ - SDMMC controller
+ - USB 2.0 [[!template id=man name="ehci" section="4"]] controller
+ - PCI express
+ - 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)
+
+# TODO
+ - SMP stability
+ - CPU frequency scaling
+ - eMMC support
+ - SD/MMC UHS-I support (needs sdmmc(4) changes)
+ - Framebuffer console
+ - HDMI
+ - [[!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)
+
 # Generating a boot script
 
 [[!template  id=programlisting text="""
 $ cat boot.txt
+setenv bootargs root=ld1a
 fatload mmc 1:1 0x90000000 netbsd.ub
 bootm 0x90000000
 $ mkubootimage -A arm -C none -O netbsd -T script -a 0 -n "NetBSD/tegra boot" boot.txt boot.scr
@@ -13,6 +51,6 @@ $ mkubootimage -A arm -C none -O netbsd 
 
 # Links
 
-[NVIDIA Jetson TK1 development kit](https://developer.nvidia.com/jetson-tk1)
-[Hardware documentation](https://developer.nvidia.com/hardware-design-and-development)
-[Linux For Tegra](https://developer.nvidia.com/linux-tegra)
+- [NVIDIA Jetson TK1 development kit](https://developer.nvidia.com/jetson-tk1)
+- [Hardware documentation](https://developer.nvidia.com/hardware-design-and-development)
+- [Linux For Tegra](https://developer.nvidia.com/linux-tegra)