3 /include/ "skeleton.dtsi"
4 /include/ "serial.dtsi"
6 /include/ "tsc_timer.dtsi"
7 /include/ "coreboot_fb.dtsi"
10 model = "Google Panther";
11 compatible = "google,panther", "intel,haswell";
23 stdout-path = "/serial";
27 compatible = "pci-x86";
31 ranges = <0x02000000 0x0 0xe0000000 0xe0000000 0 0x10000000
32 0x42000000 0x0 0xd0000000 0xd0000000 0 0x10000000
33 0x01000000 0x0 0x1000 0x1000 0 0xf000>;
36 reg = <0x0000f800 0 0 0 0>;
37 compatible = "intel,pch9";
44 compatible = "intel,ich9-spi";
49 compatible = "winbond,w25q64",
51 memory-map = <0xff800000 0x00800000>;
53 label = "rw-mrc-cache";
54 reg = <0x003e0000 0x00010000>;
60 compatible = "intel,ich6-gpio";
67 compatible = "intel,ich6-gpio";
74 compatible = "intel,ich6-gpio";
83 reg = <0xfed40000 0x5000>;
84 compatible = "infineon,slb9635lpc";