// SPDX-License-Identifier: GPL-2.0+ /* * Copyright (C) 2018, Bin Meng */ #include #include #include #include #include #include #include #include #include int board_init(void) { /* * Make sure virtio bus is enumerated so that peripherals * on the virtio bus can be discovered by their drivers */ virtio_init(); return 0; } int board_late_init(void) { ulong kernel_start; ofnode chosen_node; int ret; chosen_node = ofnode_path("/chosen"); if (!ofnode_valid(chosen_node)) { debug("No chosen node found, can't get kernel start address\n"); return 0; } #ifdef CONFIG_ARCH_RV64I ret = ofnode_read_u64(chosen_node, "riscv,kernel-start", (u64 *)&kernel_start); #else ret = ofnode_read_u32(chosen_node, "riscv,kernel-start", (u32 *)&kernel_start); #endif if (ret) { debug("Can't find kernel start address in device tree\n"); return 0; } env_set_hex("kernel_start", kernel_start); return 0; } #ifdef CONFIG_SPL u32 spl_boot_device(void) { /* RISC-V QEMU only supports RAM as SPL boot device */ return BOOT_DEVICE_RAM; } #endif #ifdef CONFIG_SPL_LOAD_FIT int board_fit_config_name_match(const char *name) { /* boot using first FIT config */ return 0; } #endif