4 * (C) Copyright 2012-2014
5 * Texas Instruments Incorporated, <www.ti.com>
7 * SPDX-License-Identifier: GPL-2.0+
14 #include <spi_flash.h>
16 #include <asm/u-boot.h>
17 #include <asm/utils.h>
19 DECLARE_GLOBAL_DATA_PTR;
21 #ifdef CONFIG_K2HK_EVM
22 static struct pll_init_data spl_pll_config[] = {
29 static struct pll_init_data spl_pll_config[] = {
34 void spl_init_keystone_plls(void)
36 init_plls(ARRAY_SIZE(spl_pll_config), spl_pll_config);
39 void spl_board_init(void)
41 spl_init_keystone_plls();
42 preloader_console_init();
45 u32 spl_boot_device(void)
47 #if defined(CONFIG_SPL_SPI_LOAD)
48 return BOOT_DEVICE_SPI;
50 puts("Unknown boot device\n");