1 // SPDX-License-Identifier: GPL-2.0+
3 * (C) Copyright 2014 - 2018 Xilinx, Inc.
4 * Michal Simek <michal.simek@xilinx.com>
13 #include <asm/cache.h>
15 #include <asm/arch/hardware.h>
16 #include <asm/arch/sys_proto.h>
17 #include <dm/device.h>
18 #include <dm/uclass.h>
20 #include "../common/board.h"
22 DECLARE_GLOBAL_DATA_PTR;
24 #if defined(CONFIG_FPGA_VERSALPL)
25 static xilinx_desc versalpl = XILINX_VERSAL_DESC;
30 printf("EL Level:\tEL%d\n", current_el());
32 #if defined(CONFIG_FPGA_VERSALPL)
34 fpga_add(fpga_xilinx, &versalpl);
40 int board_early_init_r(void)
44 if (current_el() != 3)
47 debug("iou_switch ctrl div0 %x\n",
48 readl(&crlapb_base->iou_switch_ctrl));
50 writel(IOU_SWITCH_CTRL_CLKACT_BIT |
51 (CONFIG_IOU_SWITCH_DIVISOR0 << IOU_SWITCH_CTRL_DIVISOR0_SHIFT),
52 &crlapb_base->iou_switch_ctrl);
54 /* Global timer init - Program time stamp reference clk */
55 val = readl(&crlapb_base->timestamp_ref_ctrl);
56 val |= CRL_APB_TIMESTAMP_REF_CTRL_CLKACT_BIT;
57 writel(val, &crlapb_base->timestamp_ref_ctrl);
59 debug("ref ctrl 0x%x\n",
60 readl(&crlapb_base->timestamp_ref_ctrl));
62 /* Clear reset of timestamp reg */
63 writel(0, &crlapb_base->rst_timestamp);
66 * Program freq register in System counter and
67 * enable system counter.
69 writel(COUNTER_FREQUENCY,
70 &iou_scntr_secure->base_frequency_id_register);
72 debug("counter val 0x%x\n",
73 readl(&iou_scntr_secure->base_frequency_id_register));
75 writel(IOU_SCNTRS_CONTROL_EN,
76 &iou_scntr_secure->counter_control_register);
78 debug("scntrs control 0x%x\n",
79 readl(&iou_scntr_secure->counter_control_register));
80 debug("timer 0x%llx\n", get_ticks());
81 debug("timer 0x%llx\n", get_ticks());
86 static u8 versal_get_bootmode(void)
91 reg = readl(&crp_base->boot_mode_usr);
93 if (reg >> BOOT_MODE_ALT_SHIFT)
94 reg >>= BOOT_MODE_ALT_SHIFT;
96 bootmode = reg & BOOT_MODES_MASK;
101 int board_late_init(void)
107 int env_targets_len = 0;
112 if (!(gd->flags & GD_FLG_ENV_DEFAULT)) {
113 debug("Saved variables - Skipping\n");
117 bootmode = versal_get_bootmode();
127 mode = "jtag pxe dhcp";
129 case QSPI_MODE_24BIT:
130 puts("QSPI_MODE_24\n");
133 case QSPI_MODE_32BIT:
134 puts("QSPI_MODE_32\n");
143 if (uclass_get_device_by_name(UCLASS_MMC,
144 "sdhci@f1050000", &dev)) {
145 puts("Boot from EMMC but without SD1 enabled!\n");
148 debug("mmc1 device found at %p, seq %d\n", dev, dev->seq);
154 if (uclass_get_device_by_name(UCLASS_MMC,
155 "sdhci@f1040000", &dev)) {
156 puts("Boot from SD0 but without SD0 enabled!\n");
159 debug("mmc0 device found at %p, seq %d\n", dev, dev->seq);
169 if (uclass_get_device_by_name(UCLASS_MMC,
170 "sdhci@f1050000", &dev)) {
171 puts("Boot from SD1 but without SD1 enabled!\n");
174 debug("mmc1 device found at %p, seq %d\n", dev, dev->seq);
181 printf("Invalid Boot Mode:0x%x\n", bootmode);
186 bootseq_len = snprintf(NULL, 0, "%i", bootseq);
187 debug("Bootseq len: %x\n", bootseq_len);
191 * One terminating char + one byte for space between mode
192 * and default boot_targets
194 env_targets = env_get("boot_targets");
196 env_targets_len = strlen(env_targets);
198 new_targets = calloc(1, strlen(mode) + env_targets_len + 2 +
204 sprintf(new_targets, "%s%x %s", mode, bootseq,
205 env_targets ? env_targets : "");
207 sprintf(new_targets, "%s %s", mode,
208 env_targets ? env_targets : "");
210 env_set("boot_targets", new_targets);
212 return board_late_init_xilinx();
215 int dram_init_banksize(void)
219 ret = fdtdec_setup_memory_banksize();
230 if (fdtdec_setup_mem_size_base() != 0)
236 void reset_cpu(ulong addr)