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_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						missing-msg = "opensbi";
49					};
50				};
51
52#ifndef CONFIG_OF_BOARD
53				@fdt-SEQ {
54					description = "NAME";
55					type = "flat_dt";
56					compression = "none";
57				};
58#endif
59			};
60
61			configurations {
62				default = "conf-1";
63
64#ifndef CONFIG_OF_BOARD
65				@conf-SEQ {
66#else
67				conf-1 {
68#endif
69					description = "NAME";
70					firmware = "opensbi";
71					loadables = "uboot";
72#ifndef CONFIG_OF_BOARD
73					fdt = "fdt-SEQ";
74#endif
75				};
76			};
77		};
78	};
79};
80