Index: linux-3.12.24-rt38/arch/arm/boot/dts/zynq-zed.dts
===================================================================
@ linux-3.12.24-rt38/arch/arm/boot/dts/zynq-zed.dts:1 @
+
 /*
  * Device Tree Generator version: 1.1
  *
@ linux-3.12.24-rt38/arch/arm/boot/dts/zynq-zed.dts:44 @
 			i-cache-size = <0x8000>;
 			interrupt-handle = <&ps7_scugic_0>;
 			reg = <0x0>;
+			clocks = <&clkc 3>;
+			clock-latency = <1000>;
+			cpu0-supply = <&regulator_vccpint>;
+			operating-points = <
+				/* kHz    uV */
+				666667  1000000
+				333334  1000000
+				222223  1000000
+			>;
 		} ;
 		ps7_cortexa9_1: cpu@1 {
 			bus-handle = <&ps7_axi_interconnect_0>;
@ linux-3.12.24-rt38/arch/arm/boot/dts/zynq-zed.dts:64 @
 			i-cache-size = <0x8000>;
 			interrupt-handle = <&ps7_scugic_0>;
 			reg = <0x1>;
+			clocks = <&clkc 3>;
 		} ;
 	} ;
 	pmu {
@ linux-3.12.24-rt38/arch/arm/boot/dts/zynq-zed.dts:74 @
 		reg = <0xf8891000 0x1000>, <0xf8893000 0x1000>;
 		reg-names = "cpu0", "cpu1";
 	} ;
+	regulator_vccpint: fixedregulator@0 {
+		compatible = "regulator-fixed";
+		regulator-name = "VCCPINT";
+		regulator-min-microvolt = <1000000>;
+		regulator-max-microvolt = <1000000>;
+		regulator-boot-on;
+		regulator-always-on;
+	} ;
 	ps7_ddr_0: memory@0 {
 		device_type = "memory";
 		reg = <0x0 0x20000000>;