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