1// SPDX-License-Identifier: GPL-2.0+ 2/* 3 * Copyright (C) 2021, Bin Meng <bmeng.cn@gmail.com> 4 */ 5 6#include <config.h> 7 8/ { 9 binman: binman { 10 multiple-images; 11 }; 12}; 13 14&binman { 15 itb { 16 filename = "u-boot.itb"; 17 18 fit { 19 description = "Configuration to load OpenSBI before U-Boot"; 20 #address-cells = <1>; 21 fit,fdt-list = "of-list"; 22 23 images { 24 uboot { 25 description = "U-Boot"; 26 type = "standalone"; 27 os = "U-Boot"; 28 arch = "riscv"; 29 compression = "none"; 30 load = <CONFIG_SYS_TEXT_BASE>; 31 32 uboot_blob: blob-ext { 33 filename = "u-boot-nodtb.bin"; 34 }; 35 }; 36 37 opensbi { 38 description = "OpenSBI fw_dynamic Firmware"; 39 type = "firmware"; 40 os = "opensbi"; 41 arch = "riscv"; 42 compression = "none"; 43 load = <CONFIG_SPL_OPENSBI_LOAD_ADDR>; 44 entry = <CONFIG_SPL_OPENSBI_LOAD_ADDR>; 45 46 opensbi_blob: opensbi { 47 filename = "fw_dynamic.bin"; 48 }; 49 }; 50 51#ifndef CONFIG_OF_PRIOR_STAGE 52 @fdt-SEQ { 53 description = "NAME"; 54 type = "flat_dt"; 55 compression = "none"; 56 }; 57#endif 58 }; 59 60 configurations { 61 default = "conf-1"; 62 63#ifndef CONFIG_OF_PRIOR_STAGE 64 @conf-SEQ { 65#else 66 conf-1 { 67#endif 68 description = "NAME"; 69 firmware = "opensbi"; 70 loadables = "uboot"; 71#ifndef CONFIG_OF_PRIOR_STAGE 72 fdt = "fdt-SEQ"; 73#endif 74 }; 75 }; 76 }; 77 }; 78}; 79