1*3812cebaSDavid Jander// SPDX-License-Identifier: (GPL-2.0+ OR BSD-3-Clause) 2*3812cebaSDavid Jander/* 3*3812cebaSDavid Jander * Copyright (c) 2023, Oleksij Rempel <kernel@pengutronix.de>, Pengutronix 4*3812cebaSDavid Jander */ 5*3812cebaSDavid Jander 6*3812cebaSDavid Jander#define DDR_SIZE 0x10000000 /* 256 MB */ 7*3812cebaSDavid Jander#include "stm32mp15-fw-config.dtsi" 8