blob: 4b30473743763f1cb3965ea37277a5be9662085e [file] [log] [blame]
Siew Chin Lim9fe3a012020-12-24 18:21:11 +08001// SPDX-License-Identifier: GPL-2.0+
2/*
3 * U-Boot additions
4 *
5 * Copyright (C) 2020 Intel Corporation <www.intel.com>
6 */
7
8#if defined(CONFIG_FIT)
9
10/ {
11 binman: binman {
12 multiple-images;
13 };
14};
15
16&binman {
17 u-boot {
18 filename = "u-boot.itb";
19 fit {
20 fit,external-offset = <CONFIG_FIT_EXTERNAL_OFFSET>;
21 description = "FIT with firmware and bootloader";
22 #address-cells = <1>;
23
24 images {
25 uboot {
26 description = "U-Boot SoC64";
27 type = "standalone";
28 os = "U-Boot";
29 arch = "arm64";
30 compression = "none";
31 load = <0x00200000>;
32
33 uboot_blob: blob-ext {
34 filename = "u-boot-nodtb.bin";
35 };
36 };
37
38 atf {
39 description = "ARM Trusted Firmware";
40 type = "firmware";
41 os = "arm-trusted-firmware";
42 arch = "arm64";
43 compression = "none";
44 load = <0x00001000>;
45 entry = <0x00001000>;
46
47 atf_blob: blob-ext {
48 filename = "bl31.bin";
49 };
50 };
51
52 fdt {
53 description = "U-Boot SoC64 flat device-tree";
54 type = "flat_dt";
55 compression = "none";
56
57 uboot_fdt_blob: blob-ext {
58 filename = "u-boot.dtb";
59 };
60 };
61 };
62
63 configurations {
64 default = "conf";
65 conf {
66 description = "Intel SoC64 FPGA";
67 firmware = "atf";
68 loadables = "uboot";
69 fdt = "fdt";
70 };
71 };
72 };
73 };
74
75 kernel {
76 filename = "kernel.itb";
77 fit {
78 description = "FIT with Linux kernel image and FDT blob";
79 #address-cells = <1>;
80
81 images {
82 kernel {
83 description = "Linux Kernel";
84 type = "kernel";
85 arch = "arm64";
86 os = "linux";
87 compression = "none";
88 load = <0x4080000>;
89 entry = <0x4080000>;
90
91 kernel_blob: blob-ext {
92 filename = "Image";
93 };
94 };
95
96 fdt {
97 description = "Linux DTB";
98 type = "flat_dt";
99 arch = "arm64";
100 compression = "none";
101
102 kernel_fdt_blob: blob-ext {
103 filename = "linux.dtb";
104 };
105 };
106 };
107
108 configurations {
109 default = "conf";
110 conf {
111 description = "Intel SoC64 FPGA";
112 kernel = "kernel";
113 fdt = "fdt";
114 };
115 };
116 };
117 };
118};
119
Siew Chin Lim851083e2021-03-01 20:04:13 +0800120#if defined(CONFIG_SOCFPGA_SECURE_VAB_AUTH)
121&uboot_blob {
122 filename = "signed-u-boot-nodtb.bin";
123};
124
125&atf_blob {
126 filename = "signed-bl31.bin";
127};
128
129&uboot_fdt_blob {
130 filename = "signed-u-boot.dtb";
131};
132
133&kernel_blob {
134 filename = "signed-Image";
135};
136
137&kernel_fdt_blob {
138 filename = "signed-linux.dtb";
139};
140#endif
141
Siew Chin Lim9fe3a012020-12-24 18:21:11 +0800142#endif