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)19 int 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)34 static 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)40 int 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)50 int embedded_dtb_select(void)
51 {
52 	do_board_detect();
53 	fdtdec_setup();
54 
55 	return 0;
56 }
57 #endif
58