--- /dev/null
+i.MX31 specific Configuration Options:
+--------------------------------------
+
+- Timer precision:
+               CONFIG_MX31_TIMER_HIGH_PRECISION
+
+               Enable higher precision timer. The low-precision timer
+               (default) provides approximately 4% error, whereas the
+               high-precision timer is about 0.4% accurate. The extra
+               accuracy is achieved at the cost of higher computational
+               overhead, which, in places where time is measured, should
+               not be critical, so, it should be safe to enable this
+               option.