zybo-zynq7: Add machine config and device trees for ZYBO board

* Add the device tree includes for the ZYBO board
* Add machine config for the ZYBO board

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

3 files changed, 101 insertions, 0 deletions

diff --git a/conf/machine/boards/zybo/zybo-zynq7-board.dtsi b/conf/machine/boards/zybo/zybo-zynq7-board.dtsi
new file mode 100644
index 00000000..26856e26
--- /dev/null
+++ b/conf/machine/boards/zybo/zybo-zynq7-board.dtsi
@@ -0,0 +1,73 @@
+/ {
+        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";
+                        mdio {
+                                phy0: phy@0 {
+                                        compatible = "realtek,rtl8211e";
+                                        device_type = "ethernet-phy";
+                                        reg = <0>;
+                                } ;
+                        } ;
+                } ;
+                ps7_qspi_0: ps7-qspi@e000d000 {
+                        flash@0 {
+                                compatible = "n25q128";
+                                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 */
+                } ;
+
+                /* 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"; };
+        } ;
+} ;
diff --git a/conf/machine/boards/zybo/zybo-zynq7.dts b/conf/machine/boards/zybo/zybo-zynq7.dts
new file mode 100644
index 00000000..cc51c3bd
--- /dev/null
+++ b/conf/machine/boards/zybo/zybo-zynq7.dts
@@ -0,0 +1,5 @@
+/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
new file mode 100644
index 00000000..5cc5a5e0
--- /dev/null
+++ b/conf/machine/zybo-zynq7.conf
@@ -0,0 +1,23 @@
+#@TYPE: Machine
+#@NAME: zybo-zynq7
+#@DESCRIPTION: Machine support for ZYBO.
+#
+# For details on the ZYBO board:
+#     https://www.digilentinc.com/Products/Detail.cfm?Prod=ZYBO
+#
+
+require conf/machine/include/tune-zynq.inc
+require conf/machine/include/machine-xilinx-default.inc
+require conf/machine/include/machine-xilinx-board.inc
+
+UBOOT_MACHINE = "zynq_zybo_config"
+
+SERIAL_CONSOLE = "115200 ttyPS0"
+
+MACHINE_DEVICETREE := " \
+                zybo/zybo-zynq7-board.dtsi \
+                zybo/zybo-zynq7.dts \
+                "
+
+IMAGE_BOOT_FILES += "${MACHINE}.dtb"
+