1 // SPDX-License-Identifier: GPL-2.0+
3 * Copyright (C) 2018, Bin Meng <bmeng.cn@gmail.com>
10 #include <virtio_types.h>
16 * Make sure virtio bus is enumerated so that peripherals
17 * on the virtio bus can be discovered by their drivers
24 int board_late_init(void)
30 chosen_node = ofnode_path("/chosen");
31 if (!ofnode_valid(chosen_node)) {
32 debug("No chosen node found, can't get kernel start address\n");
36 #ifdef CONFIG_ARCH_RV64I
37 ret = ofnode_read_u64(chosen_node, "riscv,kernel-start",
38 (u64 *)&kernel_start);
40 ret = ofnode_read_u32(chosen_node, "riscv,kernel-start",
41 (u32 *)&kernel_start);
44 debug("Can't find kernel start address in device tree\n");
48 env_set_hex("kernel_start", kernel_start);
54 * QEMU specifies the location of Linux (supplied with the -kernel argument)
55 * in the device tree using the riscv,kernel-start and riscv,kernel-end
56 * properties. We currently rely on the SBI implementation of BBL to run
57 * Linux and therefore embed Linux as payload in BBL. This causes an issue,
58 * because BBL detects the kernel properties in the device tree and ignores
59 * the Linux payload as a result. To work around this issue, we clear the
60 * kernel properties before booting Linux.
62 * This workaround can be removed, once we do not require BBL for its SBI
63 * implementation anymore.
65 int ft_board_setup(void *blob, bd_t *bd)
67 int chosen_offset, ret;
69 chosen_offset = fdt_path_offset(blob, "/chosen");
70 if (chosen_offset < 0)
73 #ifdef CONFIG_ARCH_RV64I
74 ret = fdt_setprop_u64(blob, chosen_offset, "riscv,kernel-start", 0);
76 ret = fdt_setprop_u32(blob, chosen_offset, "riscv,kernel-start", 0);
81 #ifdef CONFIG_ARCH_RV64I
82 ret = fdt_setprop_u64(blob, chosen_offset, "riscv,kernel-end", 0);
84 ret = fdt_setprop_u32(blob, chosen_offset, "riscv,kernel-end", 0);