1 // SPDX-License-Identifier: (GPL-2.0+ OR MIT) 2 /* 3 * Copyright (c) 2018 Microsemi Corporation 4 */ 5 6 #include <common.h> 7 #include <image.h> 8 #include <init.h> 9 #include <asm/global_data.h> 10 #include <asm/io.h> 11 #include <led.h> 12 13 DECLARE_GLOBAL_DATA_PTR; 14 15 enum { 16 BOARD_TYPE_PCB116 = 0xAABBCE00, 17 }; 18 board_early_init_r(void)19int board_early_init_r(void) 20 { 21 /* Prepare SPI controller to be used in master mode */ 22 writel(0, BASE_CFG + ICPU_SW_MODE); 23 24 /* Address of boot parameters */ 25 gd->bd->bi_boot_params = CONFIG_SYS_SDRAM_BASE; 26 27 /* LED setup */ 28 if (IS_ENABLED(CONFIG_LED)) 29 led_default_state(); 30 31 return 0; 32 } 33 do_board_detect(void)34static void do_board_detect(void) 35 { 36 gd->board_type = BOARD_TYPE_PCB116; /* ServalT */ 37 } 38 39 #if defined(CONFIG_MULTI_DTB_FIT) board_fit_config_name_match(const char * name)40int board_fit_config_name_match(const char *name) 41 { 42 if (gd->board_type == BOARD_TYPE_PCB116 && 43 strcmp(name, "servalt_pcb116") == 0) 44 return 0; 45 return -1; 46 } 47 #endif 48 49 #if defined(CONFIG_DTB_RESELECT) embedded_dtb_select(void)50int embedded_dtb_select(void) 51 { 52 do_board_detect(); 53 fdtdec_setup(); 54 55 return 0; 56 } 57 #endif 58