1 // SPDX-License-Identifier: GPL-2.0+
3 * Copyright (c) 2017 Intel Corporation
8 #include <dt-bindings/gpio/x86-gpio.h>
9 #include <dt-bindings/interrupt-router/intel-irq.h>
11 /include/ "skeleton.dtsi"
13 /include/ "tsc_timer.dtsi"
16 model = "Intel Edison";
17 compatible = "intel,edison";
24 stdout-path = &serial0;
33 compatible = "cpu-x86";
40 compatible = "cpu-x86";
47 compatible = "pci-x86";
51 ranges = <0x02000000 0x0 0x80000000 0x80000000 0 0x40000000
52 0x42000000 0x0 0xc0000000 0xc0000000 0 0x20000000
53 0x01000000 0x0 0x2000 0x2000 0 0xe000>;
56 serial0: serial@ff010180 {
57 compatible = "intel,mid-uart";
58 reg = <0xff010180 0x100>;
60 clock-frequency = <29491200>;
61 current-speed = <115200>;
65 compatible = "intel,sdhci-tangier";
66 reg = <0xff3fc000 0x1000>;
70 * FIXME: For now U-Boot DM model doesn't allow to power up this controller.
71 * Enabling it will make U-Boot hang.
73 sdcard: mmc@ff3fa000 {
74 compatible = "intel,sdhci-tangier";
75 reg = <0xff3fa000 0x1000>;
80 compatible = "intel,pmu-mid";
81 reg = <0xff00b000 0x1000>;
85 compatible = "intel,scu-ipc";
86 reg = <0xff009000 0x1000>;
90 compatible = "intel,reset-tangier";