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