3 /include/ "skeleton.dtsi"
4 /include/ "serial.dtsi"
8 #include "tsc_timer.dtsi"
12 model = "Google Panther";
13 compatible = "google,panther", "intel,haswell";
25 stdout-path = "/serial";
29 compatible = "pci-x86";
33 ranges = <0x02000000 0x0 0xe0000000 0xe0000000 0 0x10000000
34 0x42000000 0x0 0xd0000000 0xd0000000 0 0x10000000
35 0x01000000 0x0 0x1000 0x1000 0 0xf000>;
38 reg = <0x0000f800 0 0 0 0>;
39 compatible = "intel,pch9";
46 compatible = "intel,ich9-spi";
52 compatible = "winbond,w25q64",
54 memory-map = <0xff800000 0x00800000>;
56 label = "rw-mrc-cache";
57 reg = <0x003e0000 0x00010000>;
63 compatible = "intel,ich6-gpio";
70 compatible = "intel,ich6-gpio";
77 compatible = "intel,ich6-gpio";
86 reg = <0xfed40000 0x5000>;
87 compatible = "infineon,slb9635lpc";