Frage zum Device Tree

[Kampi (Gast)]

Hallo,

ich würde gerne meinem Zynq auf dem Zybo Ethernet spendieren.
Leider ist in dem Device Tree aus dem Device Tree Generator kein Phy mit 
eingetragen.
Nun habe ich erfahren, dass ich den Phy im "system.dts", sprich in dem 
editierbaren Teil des Device Tree, eintragen muss:

http://www.xilinx.com/support/answers/61117.html

Jetzt kenne ich mich leider (noch) nicht so gut mit Device Trees aus und 
weiß daher nicht wie ich das eintragen muss.
Wenn ich das so eintrage

/*
 * CAUTION: This file is automatically generated by Xilinx.
 * Version:  
 * Today is: Thu Jan 29 07:59:45 2015
*/

/dts-v1/;
/include/ "ps.dtsi"
/include/ "pl.dtsi"
/{
  chosen {
    bootargs = "console=ttyPS0,115200 rootfstype=ext4 root=/dev/mmcblk0p2 rootwait rw";
    linux,stdout-path = &ps7_uart_1;
  } ;
  aliases {
    ethernet0 = &ps7_ethernet_0;
    i2c0 = &ps7_i2c_0;
    serial0 = &ps7_uart_1;
    spi0 = &ps7_qspi_0;
  } ;
  ps7_ddr_0: memory@00100000 {
    device_type = "memory";
    reg = <0x0 0x20000000>;
  } ;
  &ps7_ethernet_0 {
    
     mdio {
      #address-cells = <1>;
      #size-cells = <0>;
     phy0: phy@1 {
      compatible = "marvell,88e1116r";
      device_type = "ethernet-phy";
       reg = <1>;
      } ;
    } ;
  };
};

bekomme ich diesen Fehler:

Error: /home/ubuntu/Schreibtisch/Media/Zybo_Linux/Vivado/Zybo/Zybo.sdk/device_tree_bsp_0/system.dts:25.8-23 syntax error
FATAL ERROR: Unable to parse input tree

Was habe ich falsch gemacht?

Danke für die Hilfe (ich bin mir sicher, dass es nur eine Kleinigkeit 
ist, aber ich komme nicht drauf bzw. mir fehlt die Erfahrung im Umgang).

Gruß
Daniel