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