3 /include/ "skeleton.dtsi"
4 /include/ "serial.dtsi"
6 /include/ "tsc_timer.dtsi"
9 model = "Google Panther";
10 compatible = "google,panther", "intel,haswell";
22 stdout-path = "/serial";
26 compatible = "pci-x86";
30 ranges = <0x02000000 0x0 0xe0000000 0xe0000000 0 0x10000000
31 0x42000000 0x0 0xd0000000 0xd0000000 0 0x10000000
32 0x01000000 0x0 0x1000 0x1000 0 0xf000>;
35 reg = <0x0000f800 0 0 0 0>;
36 compatible = "intel,pch9";
43 compatible = "intel,ich9-spi";
48 compatible = "winbond,w25q64",
50 memory-map = <0xff800000 0x00800000>;
52 label = "rw-mrc-cache";
53 reg = <0x003e0000 0x00010000>;
59 compatible = "intel,ich6-gpio";
66 compatible = "intel,ich6-gpio";
73 compatible = "intel,ich6-gpio";
82 reg = <0xfed40000 0x5000>;
83 compatible = "infineon,slb9635lpc";