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