u-boot/arch/arm/dts/armada-388.dtsi

// SPDX-License-Identifier: (GPL-2.0+ OR MIT)
/*
 * Device Tree Include file for Marvell Armada 388 SoC.
 *
 * Copyright (C) 2015 Marvell
 *
 * Gregory CLEMENT <gregory.clement@free-electrons.com>
 *
 * The main difference with the Armada 385 is that the 388 can handle two more
 * SATA ports. So we can reuse the dtsi of the Armada 385, override the pinctrl
 * property and the name of the SoC, and add the second SATA host which control
 * the 2 other ports.
 */

#include "armada-385.dtsi"

/ {
	model = "Marvell Armada 388 family SoC";
	compatible = "marvell,armada388", "marvell,armada385",
		"marvell,armada380";
	soc {
		internal-regs {
			sata@e0000 {
				compatible = "marvell,armada-380-ahci";
				reg = <0xe0000 0x2000>;
				interrupts = <GIC_SPI 28 IRQ_TYPE_LEVEL_HIGH>;
				clocks = <&gateclk 30>;
				status = "disabled";
			};

		};
	};
};

&pinctrl {
	compatible = "marvell,mv88f6828-pinctrl";
};