1// SPDX-License-Identifier: GPL-2.0-or-later
2/*
3 * Copyright (C) 2024 Texas Instruments Incorporated - https://www.ti.com/
4 */
5
6#include <asm/hardware.h>
7#include "common_fdt.h"
8#include <fdt_support.h>
9
10int ft_system_setup(void *blob, struct bd_info *bd)
11{
12	fdt_fixup_reserved(blob, "tfa", CONFIG_K3_ATF_LOAD_ADDR, 0x80000);
13	fdt_fixup_reserved(blob, "optee", CONFIG_K3_OPTEE_LOAD_ADDR, 0x1800000);
14
15	return 0;
16}
17