1 // SPDX-License-Identifier: GPL-2.0+
4 #include "aspeed-g4.dtsi"
7 model = "Palmetto BMC";
8 compatible = "tyan,palmetto-bmc", "aspeed,ast2400";
12 bootargs = "console=ttyS4,115200 earlyprintk";
16 reg = <0x40000000 0x20000000>;
24 vga_memory: framebuffer@5f000000 {
26 reg = <0x5f000000 0x01000000>; /* 16M */
37 #include "openbmc-flash-layout.dtsi"
59 pinctrl-names = "default";
60 pinctrl-0 = <&pinctrl_rmii1_default>;
67 compatible = "atmel,24c256";
73 compatible = "dallas,ds3231";
86 compatible = "ti,tmp423";