2 * Copyright (c) 2017 Intel Corporation
4 * SPDX-License-Identifier: GPL-2.0+
9 #include <dt-bindings/gpio/x86-gpio.h>
10 #include <dt-bindings/interrupt-router/intel-irq.h>
12 /include/ "skeleton.dtsi"
14 /include/ "tsc_timer.dtsi"
17 model = "Intel Edison";
18 compatible = "intel,edison";
25 stdout-path = &serial0;
34 compatible = "cpu-x86";
41 compatible = "cpu-x86";
48 compatible = "pci-x86";
52 ranges = <0x02000000 0x0 0x80000000 0x80000000 0 0x40000000
53 0x42000000 0x0 0xc0000000 0xc0000000 0 0x20000000
54 0x01000000 0x0 0x2000 0x2000 0 0xe000>;
57 serial0: serial@ff010180 {
58 compatible = "intel,mid-uart";
59 reg = <0xff010180 0x100>;
61 clock-frequency = <29491200>;
62 current-speed = <115200>;
66 compatible = "intel,sdhci-tangier";
67 reg = <0xff3fc000 0x1000>;
71 * FIXME: For now U-Boot DM model doesn't allow to power up this controller.
72 * Enabling it will make U-Boot hang.
74 sdcard: mmc@ff3fa000 {
75 compatible = "intel,sdhci-tangier";
76 reg = <0xff3fa000 0x1000>;
81 compatible = "intel,pmu-mid";
82 reg = <0xff00b000 0x1000>;
86 compatible = "intel,scu-ipc";
87 reg = <0xff009000 0x1000>;