fdts/stm32mp135f-dk-fw-config.dts - trusty/external/trusted-firmware-a - Git at Google

 // SPDX-License-Identifier: (GPL-2.0+ OR BSD-3-Clause)
 /*
  * Copyright (c) 2022, STMicroelectronics - All Rights Reserved
  */

 #define DDR_SIZE	0x20000000 /* 512MB */
 #include "stm32mp13-fw-config.dtsi"
	// SPDX-License-Identifier: (GPL-2.0+ OR BSD-3-Clause)
	/*
	* Copyright (c) 2022, STMicroelectronics - All Rights Reserved
	*/

	#define DDR_SIZE 0x20000000 /* 512MB */
	#include "stm32mp13-fw-config.dtsi"