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";
54 max-frequency = <50000000>;
65 compatible = "dallas,ds1338";
81 cs-gpios = <&gpio 46 GPIO_ACTIVE_HIGH>;
84 compatible = "st,m25p80", "jedec,spi-nor";
86 spi-max-frequency = <40000000>;
92 cs-gpios = <&gpio 56 GPIO_ACTIVE_HIGH>;