linux_dsm_epyc7002/arch/arm/boot/dts/bcm2835-rpi-b.dts

/dts-v1/;
/include/ "bcm2835.dtsi"

/ {
	compatible = "raspberrypi,model-b", "brcm,bcm2835";
	model = "Raspberry Pi Model B";

	memory {
		reg = <0 0x10000000>;
	};

	leds {
		compatible = "gpio-leds";

		act {
			label = "ACT";
			gpios = <&gpio 16 1>;
			default-state = "keep";
			linux,default-trigger = "heartbeat";
		};
	};
};

&gpio {
	pinctrl-names = "default";
	pinctrl-0 = <&alt0 &alt3>;

	alt0: alt0 {
		brcm,pins = <0 1 2 3 4 5 6 7 8 9 10 11 14 15 40 45>;
		brcm,function = <4>; /* alt0 */
	};

	alt3: alt3 {
		brcm,pins = <48 49 50 51 52 53>;
		brcm,function = <7>; /* alt3 */
	};
};

&i2c0 {
	status = "okay";
	clock-frequency = <100000>;
};

&i2c1 {
	status = "okay";
	clock-frequency = <100000>;
};

&sdhci {
	status = "okay";
	bus-width = <4>;
};