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