| // SPDX-License-Identifier: (GPL-2.0+ OR MIT) |
| * Copyright (c) 2018 Microsemi Corporation |
| #include <asm/global_data.h> |
| BOARD_TYPE_PCB116 = 0xAABBCE00, |
| int board_early_init_r(void) |
| /* Prepare SPI controller to be used in master mode */ |
| writel(0, BASE_CFG + ICPU_SW_MODE); |
| /* Address of boot parameters */ |
| gd->bd->bi_boot_params = CFG_SYS_SDRAM_BASE; |
| static void do_board_detect(void) |
| gd->board_type = BOARD_TYPE_PCB116; /* ServalT */ |
| #if defined(CONFIG_MULTI_DTB_FIT) |
| int board_fit_config_name_match(const char *name) |
| if (gd->board_type == BOARD_TYPE_PCB116 && |
| strcmp(name, "servalt_pcb116") == 0) |
| #if defined(CONFIG_DTB_RESELECT) |
| int embedded_dtb_select(void) |