--- wikisrc/ports/evbarm/tegra.mdwn	2015/11/12 13:26:20	1.30
+++ wikisrc/ports/evbarm/tegra.mdwn	2015/11/21 22:56:27	1.33
@@ -34,6 +34,8 @@ The NetBSD tegra port currently supports
    - RF kill switch
    - Power button
  - AS3722 power management unit
+ - eFUSE
+ - SoC thermal sensors
 
 
 # TODO
@@ -60,6 +62,16 @@ Jetson TK1 boards come with Linux4Tegra 
 
 # Modesetting
 
+## Console
+
+To override the default video mode (auto-detected from display EDID), use the *video* kernel command-line parameter:
+
+[[!template  id=programlisting text="""
+video=<xres>x<yres>[M][R][-<bpp>][@<refresh>][i][m][eDd]
+"""]]
+
+## Xorg
+
 To be able to use the mode setting features of the Tegra DRM driver, you must use the xf86-video-modesetting driver. Put this in xorg.conf:
 
 [[!template  id=programlisting text="""