1 // SPDX-License-Identifier: (GPL-2.0+ OR MIT)
3 * Copyright (c) 2018 Microsemi Corporation
9 #include <asm/global_data.h>
13 DECLARE_GLOBAL_DATA_PTR;
16 BOARD_TYPE_PCB116 = 0xAABBCE00,
19 int board_early_init_r(void)
21 /* Prepare SPI controller to be used in master mode */
22 writel(0, BASE_CFG + ICPU_SW_MODE);
24 /* Address of boot parameters */
25 gd->bd->bi_boot_params = CONFIG_SYS_SDRAM_BASE;
28 if (IS_ENABLED(CONFIG_LED))
34 static void do_board_detect(void)
36 gd->board_type = BOARD_TYPE_PCB116; /* ServalT */
39 #if defined(CONFIG_MULTI_DTB_FIT)
40 int board_fit_config_name_match(const char *name)
42 if (gd->board_type == BOARD_TYPE_PCB116 &&
43 strcmp(name, "servalt_pcb116") == 0)
49 #if defined(CONFIG_DTB_RESELECT)
50 int embedded_dtb_select(void)