1 /* 2 * Copyright (C) 2025 Texas Instruments Incorporated - http://www.ti.com/ 3 * K3 SOC specific bl31_setup 4 * 5 * SPDX-License-Identifier: BSD-3-Clause 6 */ 7 8 #include <common/debug.h> 9 #include <ti_sci.h> 10 #include <ti_sci_transport.h> 11 12 #include <plat_private.h> 13 14 /* Table of regions to map using the MMU */ 15 const mmap_region_t plat_k3_mmap[] = { 16 { /* sentinel */ } 17 }; 18 19 int ti_soc_init(void) 20 { 21 /* nothing to do right now */ 22 return 0; 23 } 24