1// SPDX-License-Identifier: GPL-2.0-or-later OR BSD-3-Clause 2/* 3 * Copyright (c) 2022 DH electronics GmbH 4 */ 5 6#define DDR_SIZE 0x40000000 /* 1GB */ 7#include "stm32mp15-fw-config.dtsi" 8