123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354 |
- // SPDX-License-Identifier: (GPL-2.0+ OR MIT)
- /*
- * Copyright (c) 2018 Microsemi Corporation
- */
- #include <common.h>
- #include <image.h>
- #include <init.h>
- #include <asm/io.h>
- #include <led.h>
- enum {
- 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 = CONFIG_SYS_SDRAM_BASE;
- /* LED setup */
- if (IS_ENABLED(CONFIG_LED))
- led_default_state();
- return 0;
- }
- 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)
- return 0;
- return -1;
- }
- #endif
- #if defined(CONFIG_DTB_RESELECT)
- int embedded_dtb_select(void)
- {
- do_board_detect();
- fdtdec_setup();
- return 0;
- }
- #endif
|