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 */
58 pinctrl-names = "default";
59 pinctrl-0 = <&pinctrl_rmii1_default>;
66 compatible = "atmel,24c256";
72 compatible = "dallas,ds3231";
85 compatible = "ti,tmp423";