[PATCH v2 3/9] ARM: dts: add imx7d soc dtsi file

[Nathan Lynch]

On 04/16/2015 02:17 PM, Frank.Li at freescale.com wrote:
> +	timer {
> +		compatible = "arm,armv7-timer";
> +		arm,cpu-registers-not-fw-configured;

Just checking -- do you definitely need this property?  If so, the VDSO
won't be able to service gettimeofday/clock_gettime.