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_AM6
13 #ifdef CONFIG_SOC_K3_J721E
14 #include "j721e_spl.h"
17 #ifdef CONFIG_SOC_K3_AM642
20 #endif /* _ASM_ARCH_SPL_H_ */