1 // SPDX-License-Identifier: GPL-2.0-or-later OR MIT
3 * Dell Wyse 3020 a.k.a. "Ariel" a.k.a. Tx0D (T00D, T10D)
5 * Copyright (C) 2019 Lubomir Rintel <lkundrak@v3.sk>
10 #include <dt-bindings/gpio/gpio.h>
11 #include <dt-bindings/interrupt-controller/irq.h>
15 compatible = "dell,wyse-ariel", "marvell,mmp3";
22 #address-cells = <0x1>;
25 bootargs = "earlyprintk=ttyS2,115200 console=ttyS2,115200";
29 linux,usable-memory = <0x0 0x7f600000>;
30 available = <0x7f700000 0x7ff00000 0x00000000 0x7f600000>;
31 reg = <0x0 0x80000000>;
32 device_type = "memory";
56 compatible = "usb424,2640";
58 #address-cells = <0x01>;
62 compatible = "usb424,4040";
71 reset-gpios = <&gpio 63 GPIO_ACTIVE_HIGH>;
76 max-frequency = <50000000>;
87 compatible = "dallas,ds1338";
103 cs-gpios = <&gpio 46 GPIO_ACTIVE_LOW>;
106 compatible = "winbond,w25q32", "jedec,spi-nor";
108 spi-max-frequency = <104000000>;
114 cs-gpios = <&gpio 56 GPIO_ACTIVE_LOW>;