1 /* SPDX-License-Identifier: GPL-2.0+ */
3 * Copyright (C) 2018 Texas Instruments Incorporated - http://www.ti.com/
4 * Lokesh Vutla <lokeshvutla@ti.com>
6 #ifndef _ASM_ARCH_SPL_H_
7 #define _ASM_ARCH_SPL_H_
9 #ifdef CONFIG_SOC_K3_AM654
13 #ifdef CONFIG_SOC_K3_J721E
14 #include "j721e_spl.h"
17 #ifdef CONFIG_SOC_K3_J721S2
18 #include "j721s2_spl.h"
21 #ifdef CONFIG_SOC_K3_AM642
25 #ifdef CONFIG_SOC_K3_AM625
29 #endif /* _ASM_ARCH_SPL_H_ */