Index: linux-3.12.24-rt38/arch/arm/boot/dts/zynq-zed.dts
===================================================================
--- linux-3.12.24-rt38.orig/arch/arm/boot/dts/zynq-zed.dts	2014-07-20 22:12:09.230822609 +0200
+++ linux-3.12.24-rt38/arch/arm/boot/dts/zynq-zed.dts	2014-07-21 00:31:20.426623553 +0200
@@ -1,3 +1,4 @@
+
 /*
  * Device Tree Generator version: 1.1
  *
@@ -40,6 +41,15 @@
 			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>;
@@ -51,6 +61,7 @@
 			i-cache-size = <0x8000>;
 			interrupt-handle = <&ps7_scugic_0>;
 			reg = <0x1>;
+			clocks = <&clkc 3>;
 		} ;
 	} ;
 	pmu {
@@ -60,6 +71,14 @@
 		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>;