Xen device tree

/dts-v1/;

/ {
    #address-cells = <0x02>;
    #size-cells = <0x02>;
    interrupt-parent = <0x01>;
    model = "Generated";
    compatible = "xlnx,versal-net";

    memory@100000 {
        #address-cells = <0x02>;
        #size-cells = <0x02>;
        device_type = "memory";
        reg = <0x00 0x100000 0x00 0x20000000>;
    };

    chosen {
        xen,xen-bootargs = "console=dtuart dtuart=serial0";
        #mpu,address-cells = <0x01>;
        #mpu,size-cells = <0x01>;
        mpu,boot-module-section = <0xa00000 0x300000>;
        mpu,guest-memory-section = <0xd00000 0x1000000>;
        mpu,device-memory-section = <0x80000000 0x7ffff000>;
        xen,static-heap = <0x0 0x1d00000 0x0 0x800000>;

        domU1 {
            compatible = "xen,domain";
            #address-cells = <0x01>;
            #size-cells = <0x01>;
            cpus = <0x02>;
            memory = <0x00 0x2000>;
            direct-map;
            vpl011;
            mpu;
            #xen,static-mem-address-cells = <0x01>;
            #xen,static-mem-size-cells = <0x01>;
            xen,static-mem = <0x0 0xd00000 0x0 0x800000>;

            module@b00000 {
                compatible = "multiboot,kernel\0multiboot,module";
                reg = <0xb00000 0x80000>;
            };

            module@b80000 {
                compatible = "multiboot,device-tree\0multiboot,module";
                reg = <0xb80000 0x10000>;
            };
        };

        domU2 {
            compatible = "xen,domain";
            #address-cells = <0x01>;
            #size-cells = <0x01>;
            cpus = <0x02>;
            memory = <0x00 0x2000>;
            direct-map;
            vpl011;
            mpu;
            #xen,static-mem-address-cells = <0x01>;
            #xen,static-mem-size-cells = <0x01>;
            xen,static-mem = <0x0 0x1500000 0x0 0x800000>;

            module@c00000 {
                compatible = "multiboot,kernel\0multiboot,module";
                reg = <0xc00000 0x80000>;
            };

            module@c80000 {
                compatible = "multiboot,device-tree\0multiboot,module";
                reg = <0xc80000 0x10000>;
            };
        };
    };

    cpus {
        #address-cells = <0x02>;
        #size-cells = <0x00>;

        cpu-map {

            cluster0 {

                core0 {

                    thread0 {
                        cpu = <0x02>;
                    };
                };
                core1 {

                    thread0 {
                        cpu = <0x03>;
                    };
                };
            };
        };

        cpu@0 {
            device_type = "cpu";
            compatible = "arm,armv8";
            reg = <0x00 0x00>;
            phandle = <0x02>;
        };

        cpu@1 {
            device_type = "cpu";
            compatible = "arm,armv8";
            reg = <0x00 0x01>;
            phandle = <0x03>;
        };
    };

    interrupt-controller@e2000000 {
        compatible = "arm,gic-v3";
        #interrupt-cells = <0x03>;
        reg = <0x00 0xe2000000 0x00 0x10000 0x00 0xe2100000 0x00 0x200000 0x00 0xe2060000 0x00 0x200000>;
        interrupt-controller;
        interrupts = <0x01 0x09 0x04>;
        phandle = <0x01>;
    };

    serial@f1920000 {
        u-boot,dm-pre-reloc;
        compatible = "arm,pl011\0arm,sbsa-uart";
        reg = <0x00 0xf1920000 0x00 0x1000>;
        interrupts = <0x00 0x19 0x04>;
        clock-names = "uartclk\0apb_pclk";
        clocks = <0x11 0x11>;
        clock = <0xf4240>;
        current-speed = <0x1c200>;
        skip-init;
        phandle = <0x2e>;
    };

   timer@f1dc0000 {
         compatible = "cdns,ttc";
         interrupt-parent = <0x01>;
         interrupts = <0x00 0x2b 0x04 0x00 0x2c 0x04 0x00 0x2d 0x04>;
         timer-width = <0x20>;
         reg = <0x00 0xf1dc0000 0x00 0x1000>;
         clocks = <0x0c 0x27 0x0c 0x52>;
         power-domains = <0x0d 0x18224024>;
         phandle = <0x33>;
         status = "okay";
         xen,passthrough;
    };

   timer@f1dd0000 {
         compatible = "cdns,ttc";
         interrupt-parent = <0x01>;
         interrupts = <0x00 0x2e 0x04 0x00 0x2f 0x04 0x00 0x30 0x04>;
         timer-width = <0x20>;
         reg = <0x00 0xf1dd0000 0x00 0x1000>;
         clocks = <0x0c 0x27 0x0c 0x52>;
         power-domains = <0x0d 0x18224024>;
         phandle = <0x34>;
         status = "okay";
         xen,passthrough;
    };

    clk1 {
        u-boot,dm-pre-reloc;
        compatible = "fixed-clock";
        #clock-cells = <0x00>;
        clock-frequency = <0xf4240>;
        phandle = <0x11>;
    };

    timer {
        compatible = "arm,armv8-timer";
        interrupts = <0x01 0x0d 0x04 0x01 0x0e 0x04 0x01 0x0b 0x04 0x01 0x0a 0x04>;
        phandle = <0x15>;
    };

    aliases {
        serial0 = "/serial@f1920000";
    };
};