]>
Commit | Line | Data |
---|---|---|
0784510f BM |
1 | // SPDX-License-Identifier: GPL-2.0+ |
2 | /* | |
3 | * Copyright (C) 2021, Bin Meng <[email protected]> | |
4 | */ | |
5 | ||
6 | #include <config.h> | |
7 | ||
8 | / { | |
9 | binman: binman { | |
10 | multiple-images; | |
11 | }; | |
12 | }; | |
13 | ||
14 | &binman { | |
15 | itb { | |
d311df8b R |
16 | |
17 | #ifndef CONFIG_SPL_LOAD_FIT_OPENSBI_OS_BOOT | |
0784510f | 18 | filename = "u-boot.itb"; |
d311df8b R |
19 | #else |
20 | filename = "linux.itb"; | |
21 | #endif | |
0784510f BM |
22 | |
23 | fit { | |
24 | description = "Configuration to load OpenSBI before U-Boot"; | |
5a348ccf | 25 | #address-cells = <2>; |
0784510f BM |
26 | fit,fdt-list = "of-list"; |
27 | ||
28 | images { | |
d311df8b | 29 | #ifndef CONFIG_SPL_LOAD_FIT_OPENSBI_OS_BOOT |
0784510f BM |
30 | uboot { |
31 | description = "U-Boot"; | |
32 | type = "standalone"; | |
33 | os = "U-Boot"; | |
34 | arch = "riscv"; | |
35 | compression = "none"; | |
866dcd88 | 36 | load = /bits/ 64 <CONFIG_TEXT_BASE>; |
0784510f BM |
37 | |
38 | uboot_blob: blob-ext { | |
39 | filename = "u-boot-nodtb.bin"; | |
40 | }; | |
41 | }; | |
d311df8b R |
42 | #else |
43 | linux { | |
44 | description = "Linux"; | |
45 | type = "standalone"; | |
46 | os = "Linux"; | |
47 | arch = "riscv"; | |
48 | compression = "none"; | |
866dcd88 | 49 | load = /bits/ 64 <CONFIG_TEXT_BASE>; |
d311df8b R |
50 | |
51 | linux_blob: blob-ext { | |
52 | filename = "Image"; | |
53 | }; | |
54 | }; | |
55 | #endif | |
0784510f BM |
56 | |
57 | opensbi { | |
58 | description = "OpenSBI fw_dynamic Firmware"; | |
59 | type = "firmware"; | |
60 | os = "opensbi"; | |
61 | arch = "riscv"; | |
62 | compression = "none"; | |
866dcd88 R |
63 | load = /bits/ 64 <CONFIG_SPL_OPENSBI_LOAD_ADDR>; |
64 | entry = /bits/ 64 <CONFIG_SPL_OPENSBI_LOAD_ADDR>; | |
0784510f BM |
65 | |
66 | opensbi_blob: opensbi { | |
67 | filename = "fw_dynamic.bin"; | |
7574b647 | 68 | missing-msg = "opensbi"; |
0784510f BM |
69 | }; |
70 | }; | |
71 | ||
2e8d2f88 | 72 | #ifndef CONFIG_OF_BOARD |
0784510f BM |
73 | @fdt-SEQ { |
74 | description = "NAME"; | |
75 | type = "flat_dt"; | |
76 | compression = "none"; | |
77 | }; | |
756eeba8 | 78 | #endif |
0784510f BM |
79 | }; |
80 | ||
81 | configurations { | |
82 | default = "conf-1"; | |
83 | ||
2e8d2f88 | 84 | #ifndef CONFIG_OF_BOARD |
0784510f | 85 | @conf-SEQ { |
756eeba8 BM |
86 | #else |
87 | conf-1 { | |
88 | #endif | |
0784510f BM |
89 | description = "NAME"; |
90 | firmware = "opensbi"; | |
d311df8b | 91 | #ifndef CONFIG_SPL_LOAD_FIT_OPENSBI_OS_BOOT |
0784510f | 92 | loadables = "uboot"; |
d311df8b R |
93 | #else |
94 | loadables = "linux"; | |
95 | #endif | |
2e8d2f88 | 96 | #ifndef CONFIG_OF_BOARD |
0784510f | 97 | fdt = "fdt-SEQ"; |
756eeba8 | 98 | #endif |
0784510f BM |
99 | }; |
100 | }; | |
101 | }; | |
102 | }; | |
103 | }; |