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