| Andrew Davis | e819fab | 2024-02-14 10:30:08 -0600 | [diff] [blame] | 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> |
| Tom Rini | a9705f0 | 2024-06-03 18:42:11 -0600 | [diff] [blame] | 7 | #include "../common_fdt.h" |
| Andrew Davis | e819fab | 2024-02-14 10:30:08 -0600 | [diff] [blame] | 8 | #include <fdt_support.h> |
| 9 | |
| 10 | int 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 | } |