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 available = <0x7f700000 0x7ff00000 0x00000000 0x7f600000>;
30 reg = <0x0 0x80000000>;
31 device_type = "memory";
35 compatible = "spi-gpio";
39 num-chipselects = <0>;
40 sck-gpios = <&gpio 55 GPIO_ACTIVE_HIGH>;
41 miso-gpios = <&gpio 57 GPIO_ACTIVE_HIGH>;
42 mosi-gpios = <&gpio 58 GPIO_ACTIVE_HIGH>;
66 compatible = "usb424,2640";
68 #address-cells = <0x01>;
72 compatible = "usb424,4040";
81 reset-gpios = <&gpio 63 GPIO_ACTIVE_HIGH>;
86 max-frequency = <50000000>;
97 compatible = "dallas,ds1338";
110 embedded-controller@58 {
111 compatible = "dell,wyse-ariel-ec", "ene,kb3930";
113 system-power-controller;
115 off-gpios = <&gpio 126 GPIO_ACTIVE_HIGH>,
116 <&gpio 127 GPIO_ACTIVE_HIGH>;
122 cs-gpios = <&gpio 46 GPIO_ACTIVE_LOW>;
125 compatible = "winbond,w25q32", "jedec,spi-nor";
127 spi-max-frequency = <104000000>;
134 cs-gpios = <&gpio 56 GPIO_ACTIVE_LOW>;
138 interrupt-parent = <&gpio>;
139 interrupts = <60 IRQ_TYPE_EDGE_RISING>;
140 compatible = "dell,wyse-ariel-ec-input", "ene,kb3930-input";
141 spi-max-frequency = <33000000>;