zybo-zynq7: Switch over to in kernel device tree

* Switch to the device tree that is available in the kernel source tree
* Remove the in layer device tree and configuration for the in layer
  device tree
* Setup IMAGE_BOOT_FILES with the correct target device tree from the
  kernel source/recipe

Signed-off-by: Nathan Rossi <nathan@nathanrossi.com>

3 files changed, 3 insertions, 88 deletions

diff --git a/conf/machine/boards/zybo/zybo-zynq7-board.dtsi b/conf/machine/boards/zybo/zybo-zynq7-board.dtsi
deleted file mode 100644
index 5d7a3a84..00000000
--- a/conf/machine/boards/zybo/zybo-zynq7-board.dtsi
+++ /dev/null
@@ -1,78 +0,0 @@
-/ {
-        model = "Digilent ZYBO";
-        chosen {
-                bootargs = "console=ttyPS0,115200 earlyprintk root=/dev/ram rw";
-                linux,stdout-path = "/axi@0/serial@e0001000";
-        } ;
-        ps7_ddr_0: memory@0 {
-                device_type = "memory";
-                reg = <0x0 0x20000000>;
-        } ;
-        ps7_axi_interconnect_0: amba@0 {
-                ps7_slcr_0: ps7-slcr@f8000000 {
-                        clkc: clkc@100 {
-                                /* ZYBO uses a 50 MHz PS Clk */
-                                ps-clk-frequency = <50000000>;
-                        } ;
-                } ;
-                ps7_ethernet_0: ps7-ethernet@e000b000 {
-                        phy-handle = <&phy0>;
-                        phy-mode = "rgmii-id";
-                        phy0: phy@0 {
-                                compatible = "realtek,rtl8211e";
-                                device_type = "ethernet-phy";
-                                reg = <0>;
-                        } ;
-                } ;
-                ps7_qspi_0: ps7-qspi@e000d000 {
-                        flash@0 {
-                                compatible = "micron,m25p80", "spansion,s25fl128s", "jedec,spi-nor";
-                                reg = <0x0>;
-                                spi-max-frequency = <50000000>;
-                                #address-cells = <1>;
-                                #size-cells = <1>;
-                                partition@qspi-fsbl-uboot {
-                                        label = "qspi-fsbl-uboot";
-                                        reg = <0x0 0x100000>;
-                                };
-                                partition@qspi-linux {
-                                        label = "qspi-linux";
-                                        reg = <0x100000 0x500000>;
-                                };
-                                partition@qspi-device-tree {
-                                        label = "qspi-device-tree";
-                                        reg = <0x600000 0x20000>;
-                                };
-                                partition@qspi-rootfs {
-                                        label = "qspi-rootfs";
-                                        reg = <0x620000 0x5E0000>;
-                                };
-                                partition@qspi-bitstream {
-                                        label = "qspi-bitstream";
-                                        reg = <0xC00000 0x400000>;
-                                };
-                        };
-                } ;
-                ps7_usb_0: ps7-usb@e0002000 {
-                        xlnx,phy-reset-gpio = <&ps7_gpio_0 46 0>; /* MIO USB PHY Reset */
-                        usb-phy = <&usb0_phy>;
-                } ;
-
-                /* Disabled Devices */
-                ps7_sd_1: ps7-sdio@e0101000 { compatible = "invalid"; };
-                ps7_uart_0: serial@e0000000 { compatible = "invalid"; };
-                ps7_ethernet_1: ps7-ethernet@e000c000 { compatible = "invalid"; };
-                ps7_i2c_0: ps7-i2c@e0004000 { compatible = "invalid"; };
-                ps7_i2c_1: ps7-i2c@e0005000 { compatible = "invalid"; };
-                ps7_wdt_0: ps7-wdt@f8005000 { compatible = "invalid"; };
-                ps7_can_0: ps7-can@e0008000 { compatible = "invalid"; };
-                ps7_can_1: ps7-can@e0009000 { compatible = "invalid"; };
-                ps7_usb_1: ps7-usb@e0003000 { compatible = "invalid"; };
-        } ;
-
-        usb0_phy: usb-phy {
-                #phy-cells = <0>;
-                compatible = "usb-nop-xceiv";
-                reset-gpios = <&ps7_gpio_0 46 1>; /* MIO 46, GPIO_ACTIVE_LOW */
-        } ;
-} ;
diff --git a/conf/machine/boards/zybo/zybo-zynq7.dts b/conf/machine/boards/zybo/zybo-zynq7.dts
deleted file mode 100644
index cc51c3bd..00000000
--- a/conf/machine/boards/zybo/zybo-zynq7.dts
+++ /dev/null
@@ -1,5 +0,0 @@
-/dts-v1/;
-/include/ "zynq7-base.dtsi"
-/include/ "zybo-zynq7-board.dtsi"
-/ {
-} ;
diff --git a/conf/machine/zybo-zynq7.conf b/conf/machine/zybo-zynq7.conf
index 4ec12aab..7fdcb183 100644
--- a/conf/machine/zybo-zynq7.conf
+++ b/conf/machine/zybo-zynq7.conf
@@ -12,15 +12,13 @@ require conf/machine/include/machine-xilinx-board.inc
 
 MACHINE_FEATURES = "ext2 vfat usbhost usbgadget"
 
+# u-boot configuration
 UBOOT_MACHINE = "zynq_zybo_config"
 SPL_BINARY = "boot.bin"
 
 SERIAL_CONSOLE = "115200 ttyPS0"
 
-MACHINE_DEVICETREE := " \
-                zybo/zybo-zynq7-board.dtsi \
-                zybo/zybo-zynq7.dts \
-                "
+KERNEL_DEVICETREE = "zynq-zybo.dtb"
 
-IMAGE_BOOT_FILES += "boot.bin ${MACHINE}.dtb"
+IMAGE_BOOT_FILES += "boot.bin ${KERNEL_IMAGETYPE}-zynq-zybo.dtb"