3 /include/ "skeleton.dtsi"
4 /include/ "serial.dtsi"
6 /include/ "tsc_timer.dtsi"
9 model = "Google Panther";
10 compatible = "google,panther", "intel,haswell";
22 compatible = "intel,ich6-gpio";
29 compatible = "intel,ich6-gpio";
36 compatible = "intel,ich6-gpio";
43 stdout-path = "/serial";
47 compatible = "pci-x86";
51 ranges = <0x02000000 0x0 0xe0000000 0xe0000000 0 0x10000000
52 0x42000000 0x0 0xd0000000 0xd0000000 0 0x10000000
53 0x01000000 0x0 0x1000 0x1000 0 0xf000>;
56 reg = <0x0000f800 0 0 0 0>;
57 compatible = "intel,pch9";
62 compatible = "intel,ich-spi";
67 compatible = "winbond,w25q64",
69 memory-map = <0xff800000 0x00800000>;
71 label = "rw-mrc-cache";
72 reg = <0x003e0000 0x00010000>;
80 reg = <0xfed40000 0x5000>;
81 compatible = "infineon,slb9635lpc";