1// SPDX-License-Identifier: (GPL-2.0-only OR BSD-3-Clause) 2/* 3 * Copyright (c) 2025, STMicroelectronics - All Rights Reserved 4 */ 5 6#define DDR_SIZE 0x40000000 /* 1GB */ 7#include "stm32mp15-fw-config.dtsi" 8