// SPDX-License-Identifier: GPL-2.0-or-later OR BSD-3-Clause
/*
 * Copyright (c) 2022 DH electronics GmbH
 */

#define DDR_SIZE 0x40000000 /* 1GB */
#include "stm32mp15-fw-config.dtsi"