1 // SPDX-License-Identifier: GPL-2.0
4 #include "aspeed-g4.dtsi"
7 model = "Palmetto BMC";
8 compatible = "tyan,palmetto-bmc", "aspeed,ast2400";
16 bootargs = "console=ttyS4,115200 earlyprintk";
20 reg = <0x40000000 0x20000000>;
28 vga_memory: framebuffer@5f000000 {
30 reg = <0x5f000000 0x01000000>; /* 16M */
62 pinctrl-names = "default";
63 pinctrl-0 = <&pinctrl_rmii1_default>;