patch debug_dbt

diff --git a/arch/arm/boot/dts/vexpress-v2p-ca15-tc1.dts b/arch/arm/boot/dts/vexpress-v2p-ca15-tc1.dts
index 0d82ac801dca905fcb6fee414c82f3034aa06d7a..3a03d88b283adf60aab2abbc8e4ae70e06c797f6 100644 (file)
--- a/arch/arm/boot/dts/vexpress-v2p-ca15-tc1.dts
+++ b/arch/arm/boot/dts/vexpress-v2p-ca15-tc1.dts
@@ -17,6 +17,12 @@
        compatible = "arm,vexpress,v2p-ca15,tc1", "arm,vexpress,v2p-ca15", "arm,vexpress";
        interrupt-parent = <&gic>;
 
+       chosen {
+                 bootargs = "dom0_mem=128M";
+                 xen,dom0-bootargs = "earlyprintk=xenboot console=ttyAMA1 root=/dev/mmcblk0 debug rw init=/bin/bash";
+       };
+
+
        aliases {
                serial0 = &v2m_serial0;
                serial1 = &v2m_serial1;
@@ -35,34 +41,11 @@
                        compatible = "arm,cortex-a15";
                        reg = <0>;
                };
-
-               cpu@1 {
-                       device_type = "cpu";
-                       compatible = "arm,cortex-a15";
-                       reg = <1>;
-               };
        };
 
        memory {
                device_type = "memory";
-               reg = <0x80000000 0x40000000>;
-       };
-
-       hdlcd@2b000000 {
-               compatible = "arm,hdlcd";
-               reg = <0x2b000000 0x1000>;
-               interrupts = <0 85 4>;
-       };
-
-       memory-controller@2b0a0000 {
-               compatible = "arm,pl341", "arm,primecell";
-               reg = <0x2b0a0000 0x1000>;
-       };
-
-       wdt@2b060000 {
-               compatible = "arm,sp805", "arm,primecell";
-               reg = <0x2b060000 0x1000>;
-               interrupts = <98>;
+               reg = <0x80000000 0x80000000>;
        };
 
        gic: interrupt-controller@2c001000 {
@@ -74,23 +57,6 @@
                      <0x2c002000 0x100>;
        };
 
-       memory-controller@7ffd0000 {
-               compatible = "arm,pl354", "arm,primecell";
-               reg = <0x7ffd0000 0x1000>;
-               interrupts = <0 86 4>,
-                            <0 87 4>;
-       };
-
-       dma@7ffb0000 {
-               compatible = "arm,pl330", "arm,primecell";
-               reg = <0x7ffb0000 0x1000>;
-               interrupts = <0 92 4>,
-                            <0 88 4>,
-                            <0 89 4>,
-                            <0 90 4>,
-                            <0 91 4>;
-       };
-
        pmu {
                compatible = "arm,cortex-a9-pmu";
                interrupts = <0 68 4>,