3 /include/ "skeleton.dtsi"
4 /include/ "serial.dtsi"
7 /include/ "tsc_timer.dtsi"
8 /include/ "coreboot_fb.dtsi"
11 model = "Google Panther";
12 compatible = "google,panther", "intel,haswell";
24 stdout-path = "/serial";
28 compatible = "pci-x86";
32 ranges = <0x02000000 0x0 0xe0000000 0xe0000000 0 0x10000000
33 0x42000000 0x0 0xd0000000 0xd0000000 0 0x10000000
34 0x01000000 0x0 0x1000 0x1000 0 0xf000>;
37 reg = <0x0000f800 0 0 0 0>;
38 compatible = "intel,pch9";
45 compatible = "intel,ich9-spi";
50 compatible = "winbond,w25q64",
52 memory-map = <0xff800000 0x00800000>;
54 label = "rw-mrc-cache";
55 reg = <0x003e0000 0x00010000>;
61 compatible = "intel,ich6-gpio";
68 compatible = "intel,ich6-gpio";
75 compatible = "intel,ich6-gpio";
84 reg = <0xfed40000 0x5000>;
85 compatible = "infineon,slb9635lpc";