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