blob: fbcfdc77c3e8dda2155c46bd442ce89eeadda3cd [file] [log] [blame]
Tom Rini83d290c2018-05-06 17:58:06 -04001# SPDX-License-Identifier: GPL-2.0+
Simon Glassbf7fd502016-11-25 20:15:51 -07002# Copyright (c) 2016 Google, Inc
Simon Glassbf7fd502016-11-25 20:15:51 -07003
4Introduction
5------------
6
7Firmware often consists of several components which must be packaged together.
8For example, we may have SPL, U-Boot, a device tree and an environment area
9grouped together and placed in MMC flash. When the system starts, it must be
10able to find these pieces.
11
12So far U-Boot has not provided a way to handle creating such images in a
13general way. Each SoC does what it needs to build an image, often packing or
14concatenating images in the U-Boot build system.
15
16Binman aims to provide a mechanism for building images, from simple
17SPL + U-Boot combinations, to more complex arrangements with many parts.
18
19
20What it does
21------------
22
23Binman reads your board's device tree and finds a node which describes the
24required image layout. It uses this to work out what to place where. The
25output file normally contains the device tree, so it is in principle possible
26to read an image and extract its constituent parts.
27
28
29Features
30--------
31
32So far binman is pretty simple. It supports binary blobs, such as 'u-boot',
33'spl' and 'fdt'. It supports empty entries (such as setting to 0xff). It can
34place entries at a fixed location in the image, or fit them together with
35suitable padding and alignment. It provides a way to process binaries before
36they are included, by adding a Python plug-in. The device tree is available
37to U-Boot at run-time so that the images can be interpreted.
38
Simon Glass57460182019-07-08 14:25:25 -060039Binman can update the device tree with the final location of everything when it
40is done. Entry positions can be provided to U-Boot SPL as run-time symbols,
41avoiding device-tree code overhead.
Simon Glassbf7fd502016-11-25 20:15:51 -070042
43Binman can also support incorporating filesystems in the image if required.
44For example x86 platforms may use CBFS in some cases.
45
46Binman is intended for use with U-Boot but is designed to be general enough
47to be useful in other image-packaging situations.
48
49
50Motivation
51----------
52
53Packaging of firmware is quite a different task from building the various
54parts. In many cases the various binaries which go into the image come from
55separate build systems. For example, ARM Trusted Firmware is used on ARMv8
56devices but is not built in the U-Boot tree. If a Linux kernel is included
57in the firmware image, it is built elsewhere.
58
59It is of course possible to add more and more build rules to the U-Boot
60build system to cover these cases. It can shell out to other Makefiles and
61build scripts. But it seems better to create a clear divide between building
62software and packaging it.
63
64At present this is handled by manual instructions, different for each board,
65on how to create images that will boot. By turning these instructions into a
66standard format, we can support making valid images for any board without
67manual effort, lots of READMEs, etc.
68
69Benefits:
70- Each binary can have its own build system and tool chain without creating
71any dependencies between them
72- Avoids the need for a single-shot build: individual parts can be updated
73and brought in as needed
74- Provides for a standard image description available in the build and at
75run-time
Thomas Hebb32f2ca22019-11-13 18:18:03 -080076- SoC-specific image-signing tools can be accommodated
Simon Glassbf7fd502016-11-25 20:15:51 -070077- Avoids cluttering the U-Boot build system with image-building code
78- The image description is automatically available at run-time in U-Boot,
79SPL. It can be made available to other software also
80- The image description is easily readable (it's a text file in device-tree
81format) and permits flexible packing of binaries
82
83
84Terminology
85-----------
86
87Binman uses the following terms:
88
89- image - an output file containing a firmware image
90- binary - an input binary that goes into the image
91
92
93Relationship to FIT
94-------------------
95
96FIT is U-Boot's official image format. It supports multiple binaries with
97load / execution addresses, compression. It also supports verification
98through hashing and RSA signatures.
99
100FIT was originally designed to support booting a Linux kernel (with an
101optional ramdisk) and device tree chosen from various options in the FIT.
102Now that U-Boot supports configuration via device tree, it is possible to
103load U-Boot from a FIT, with the device tree chosen by SPL.
104
105Binman considers FIT to be one of the binaries it can place in the image.
106
107Where possible it is best to put as much as possible in the FIT, with binman
108used to deal with cases not covered by FIT. Examples include initial
109execution (since FIT itself does not have an executable header) and dealing
110with device boundaries, such as the read-only/read-write separation in SPI
111flash.
112
113For U-Boot, binman should not be used to create ad-hoc images in place of
114FIT.
115
116
117Relationship to mkimage
118-----------------------
119
120The mkimage tool provides a means to create a FIT. Traditionally it has
121needed an image description file: a device tree, like binman, but in a
122different format. More recently it has started to support a '-f auto' mode
123which can generate that automatically.
124
125More relevant to binman, mkimage also permits creation of many SoC-specific
126image types. These can be listed by running 'mkimage -T list'. Examples
127include 'rksd', the Rockchip SD/MMC boot format. The mkimage tool is often
128called from the U-Boot build system for this reason.
129
130Binman considers the output files created by mkimage to be binary blobs
131which it can place in an image. Binman does not replace the mkimage tool or
Michael Heimpold383d2562018-08-22 22:01:24 +0200132this purpose. It would be possible in some situations to create a new entry
Simon Glassbf7fd502016-11-25 20:15:51 -0700133type for the images in mkimage, but this would not add functionality. It
Michael Heimpold383d2562018-08-22 22:01:24 +0200134seems better to use the mkimage tool to generate binaries and avoid blurring
Simon Glassbf7fd502016-11-25 20:15:51 -0700135the boundaries between building input files (mkimage) and packaging then
136into a final image (binman).
137
138
139Example use of binman in U-Boot
140-------------------------------
141
142Binman aims to replace some of the ad-hoc image creation in the U-Boot
143build system.
144
145Consider sunxi. It has the following steps:
146
1471. It uses a custom mksunxiboot tool to build an SPL image called
148sunxi-spl.bin. This should probably move into mkimage.
149
1502. It uses mkimage to package U-Boot into a legacy image file (so that it can
151hold the load and execution address) called u-boot.img.
152
1533. It builds a final output image called u-boot-sunxi-with-spl.bin which
154consists of sunxi-spl.bin, some padding and u-boot.img.
155
156Binman is intended to replace the last step. The U-Boot build system builds
157u-boot.bin and sunxi-spl.bin. Binman can then take over creation of
158sunxi-spl.bin (by calling mksunxiboot, or hopefully one day mkimage). In any
159case, it would then create the image from the component parts.
160
161This simplifies the U-Boot Makefile somewhat, since various pieces of logic
162can be replaced by a call to binman.
163
164
165Example use of binman for x86
166-----------------------------
167
168In most cases x86 images have a lot of binary blobs, 'black-box' code
169provided by Intel which must be run for the platform to work. Typically
170these blobs are not relocatable and must be placed at fixed areas in the
Michael Heimpold383d2562018-08-22 22:01:24 +0200171firmware image.
Simon Glassbf7fd502016-11-25 20:15:51 -0700172
173Currently this is handled by ifdtool, which places microcode, FSP, MRC, VGA
174BIOS, reference code and Intel ME binaries into a u-boot.rom file.
175
176Binman is intended to replace all of this, with ifdtool left to handle only
177the configuration of the Intel-format descriptor.
178
179
180Running binman
181--------------
182
Simon Glassd8d40742019-07-08 13:18:35 -0600183First install prerequisites, e.g.
184
Simon Glass07d9e702019-07-08 13:18:41 -0600185 sudo apt-get install python-pyelftools python3-pyelftools lzma-alone \
186 liblz4-tool
Simon Glassd8d40742019-07-08 13:18:35 -0600187
Simon Glassbf7fd502016-11-25 20:15:51 -0700188Type:
189
Simon Glass53cd5d92019-07-08 14:25:29 -0600190 binman build -b <board_name>
Simon Glassbf7fd502016-11-25 20:15:51 -0700191
192to build an image for a board. The board name is the same name used when
193configuring U-Boot (e.g. for sandbox_defconfig the board name is 'sandbox').
194Binman assumes that the input files for the build are in ../b/<board_name>.
195
196Or you can specify this explicitly:
197
Simon Glass53cd5d92019-07-08 14:25:29 -0600198 binman build -I <build_path>
Simon Glassbf7fd502016-11-25 20:15:51 -0700199
200where <build_path> is the build directory containing the output of the U-Boot
201build.
202
203(Future work will make this more configurable)
204
205In either case, binman picks up the device tree file (u-boot.dtb) and looks
206for its instructions in the 'binman' node.
207
208Binman has a few other options which you can see by running 'binman -h'.
209
210
Simon Glass9c0a8b12017-11-12 21:52:06 -0700211Enabling binman for a board
212---------------------------
213
214At present binman is invoked from a rule in the main Makefile. Typically you
215will have a rule like:
216
217ifneq ($(CONFIG_ARCH_<something>),)
218u-boot-<your_suffix>.bin: <input_file_1> <input_file_2> checkbinman FORCE
219 $(call if_changed,binman)
220endif
221
222This assumes that u-boot-<your_suffix>.bin is a target, and is the final file
Simon Glasse6385c72020-07-19 13:56:01 -0600223that you need to produce. You can make it a target by adding it to INPUTS-y
Simon Glass9c0a8b12017-11-12 21:52:06 -0700224either in the main Makefile or in a config.mk file in your arch subdirectory.
225
226Once binman is executed it will pick up its instructions from a device-tree
227file, typically <soc>-u-boot.dtsi, where <soc> is your CONFIG_SYS_SOC value.
228You can use other, more specific CONFIG options - see 'Automatic .dtsi
229inclusion' below.
230
231
Simon Glassbf7fd502016-11-25 20:15:51 -0700232Image description format
233------------------------
234
235The binman node is called 'binman'. An example image description is shown
236below:
237
238 binman {
239 filename = "u-boot-sunxi-with-spl.bin";
240 pad-byte = <0xff>;
241 blob {
242 filename = "spl/sunxi-spl.bin";
243 };
244 u-boot {
Simon Glass3ab95982018-08-01 15:22:37 -0600245 offset = <CONFIG_SPL_PAD_TO>;
Simon Glassbf7fd502016-11-25 20:15:51 -0700246 };
247 };
248
249
250This requests binman to create an image file called u-boot-sunxi-with-spl.bin
251consisting of a specially formatted SPL (spl/sunxi-spl.bin, built by the
252normal U-Boot Makefile), some 0xff padding, and a U-Boot legacy image. The
253padding comes from the fact that the second binary is placed at
254CONFIG_SPL_PAD_TO. If that line were omitted then the U-Boot binary would
255immediately follow the SPL binary.
256
257The binman node describes an image. The sub-nodes describe entries in the
258image. Each entry represents a region within the overall image. The name of
259the entry (blob, u-boot) tells binman what to put there. For 'blob' we must
260provide a filename. For 'u-boot', binman knows that this means 'u-boot.bin'.
261
262Entries are normally placed into the image sequentially, one after the other.
263The image size is the total size of all entries. As you can see, you can
Simon Glass3ab95982018-08-01 15:22:37 -0600264specify the start offset of an entry using the 'offset' property.
Simon Glassbf7fd502016-11-25 20:15:51 -0700265
266Note that due to a device tree requirement, all entries must have a unique
267name. If you want to put the same binary in the image multiple times, you can
268use any unique name, with the 'type' property providing the type.
269
270The attributes supported for entries are described below.
271
Simon Glass3ab95982018-08-01 15:22:37 -0600272offset:
273 This sets the offset of an entry within the image or section containing
274 it. The first byte of the image is normally at offset 0. If 'offset' is
275 not provided, binman sets it to the end of the previous region, or the
276 start of the image's entry area (normally 0) if there is no previous
277 region.
Simon Glassbf7fd502016-11-25 20:15:51 -0700278
279align:
Simon Glass3ab95982018-08-01 15:22:37 -0600280 This sets the alignment of the entry. The entry offset is adjusted
Simon Glassbf7fd502016-11-25 20:15:51 -0700281 so that the entry starts on an aligned boundary within the image. For
282 example 'align = <16>' means that the entry will start on a 16-byte
283 boundary. Alignment shold be a power of 2. If 'align' is not
284 provided, no alignment is performed.
285
286size:
287 This sets the size of the entry. The contents will be padded out to
288 this size. If this is not provided, it will be set to the size of the
289 contents.
290
291pad-before:
292 Padding before the contents of the entry. Normally this is 0, meaning
293 that the contents start at the beginning of the entry. This can be
294 offset the entry contents a little. Defaults to 0.
295
296pad-after:
297 Padding after the contents of the entry. Normally this is 0, meaning
298 that the entry ends at the last byte of content (unless adjusted by
299 other properties). This allows room to be created in the image for
300 this entry to expand later. Defaults to 0.
301
302align-size:
303 This sets the alignment of the entry size. For example, to ensure
304 that the size of an entry is a multiple of 64 bytes, set this to 64.
305 If 'align-size' is not provided, no alignment is performed.
306
307align-end:
308 This sets the alignment of the end of an entry. Some entries require
309 that they end on an alignment boundary, regardless of where they
Simon Glass844e5b22018-06-01 09:38:22 -0600310 start. This does not move the start of the entry, so the contents of
311 the entry will still start at the beginning. But there may be padding
312 at the end. If 'align-end' is not provided, no alignment is performed.
Simon Glassbf7fd502016-11-25 20:15:51 -0700313
314filename:
315 For 'blob' types this provides the filename containing the binary to
316 put into the entry. If binman knows about the entry type (like
317 u-boot-bin), then there is no need to specify this.
318
319type:
320 Sets the type of an entry. This defaults to the entry name, but it is
321 possible to use any name, and then add (for example) 'type = "u-boot"'
322 to specify the type.
323
Simon Glass3ab95982018-08-01 15:22:37 -0600324offset-unset:
325 Indicates that the offset of this entry should not be set by placing
Simon Glass258fb0e2018-06-01 09:38:17 -0600326 it immediately after the entry before. Instead, is set by another
327 entry which knows where this entry should go. When this boolean
328 property is present, binman will give an error if another entry does
Simon Glass3ab95982018-08-01 15:22:37 -0600329 not set the offset (with the GetOffsets() method).
Simon Glass258fb0e2018-06-01 09:38:17 -0600330
Simon Glassdbf6be92018-08-01 15:22:42 -0600331image-pos:
332 This cannot be set on entry (or at least it is ignored if it is), but
333 with the -u option, binman will set it to the absolute image position
334 for each entry. This makes it easy to find out exactly where the entry
335 ended up in the image, regardless of parent sections, etc.
336
Simon Glassba64a0b2018-09-14 04:57:29 -0600337expand-size:
338 Expand the size of this entry to fit available space. This space is only
339 limited by the size of the image/section and the position of the next
340 entry.
Simon Glassbf7fd502016-11-25 20:15:51 -0700341
Simon Glass8287ee82019-07-08 14:25:30 -0600342compress:
343 Sets the compression algortihm to use (for blobs only). See the entry
344 documentation for details.
345
Simon Glassb2381432020-09-06 10:39:09 -0600346missing-msg:
347 Sets the tag of the message to show if this entry is missing. This is
348 used for external blobs. When they are missing it is helpful to show
349 information about what needs to be fixed. See missing-blob-help for the
350 message for each tag.
351
Simon Glass9c888cc2018-09-14 04:57:30 -0600352The attributes supported for images and sections are described below. Several
353are similar to those for entries.
Simon Glassbf7fd502016-11-25 20:15:51 -0700354
355size:
356 Sets the image size in bytes, for example 'size = <0x100000>' for a
357 1MB image.
358
Simon Glass9481c802019-04-25 21:58:39 -0600359offset:
360 This is similar to 'offset' in entries, setting the offset of a section
361 within the image or section containing it. The first byte of the section
362 is normally at offset 0. If 'offset' is not provided, binman sets it to
363 the end of the previous region, or the start of the image's entry area
364 (normally 0) if there is no previous region.
365
Simon Glassbf7fd502016-11-25 20:15:51 -0700366align-size:
367 This sets the alignment of the image size. For example, to ensure
368 that the image ends on a 512-byte boundary, use 'align-size = <512>'.
369 If 'align-size' is not provided, no alignment is performed.
370
371pad-before:
372 This sets the padding before the image entries. The first entry will
Simon Glass3ab95982018-08-01 15:22:37 -0600373 be positioned after the padding. This defaults to 0.
Simon Glassbf7fd502016-11-25 20:15:51 -0700374
375pad-after:
376 This sets the padding after the image entries. The padding will be
377 placed after the last entry. This defaults to 0.
378
379pad-byte:
380 This specifies the pad byte to use when padding in the image. It
381 defaults to 0. To use 0xff, you would add 'pad-byte = <0xff>'.
382
383filename:
384 This specifies the image filename. It defaults to 'image.bin'.
385
Simon Glass3ab95982018-08-01 15:22:37 -0600386sort-by-offset:
Simon Glassbf7fd502016-11-25 20:15:51 -0700387 This causes binman to reorder the entries as needed to make sure they
388 are in increasing positional order. This can be used when your entry
389 order may not match the positional order. A common situation is where
Simon Glass3ab95982018-08-01 15:22:37 -0600390 the 'offset' properties are set by CONFIG options, so their ordering is
Simon Glassbf7fd502016-11-25 20:15:51 -0700391 not known a priori.
392
393 This is a boolean property so needs no value. To enable it, add a
Simon Glass3ab95982018-08-01 15:22:37 -0600394 line 'sort-by-offset;' to your description.
Simon Glassbf7fd502016-11-25 20:15:51 -0700395
396multiple-images:
397 Normally only a single image is generated. To create more than one
398 image, put this property in the binman node. For example, this will
399 create image1.bin containing u-boot.bin, and image2.bin containing
400 both spl/u-boot-spl.bin and u-boot.bin:
401
402 binman {
403 multiple-images;
404 image1 {
405 u-boot {
406 };
407 };
408
409 image2 {
410 spl {
411 };
412 u-boot {
413 };
414 };
415 };
416
417end-at-4gb:
Simon Glass3ab95982018-08-01 15:22:37 -0600418 For x86 machines the ROM offsets start just before 4GB and extend
Simon Glassbf7fd502016-11-25 20:15:51 -0700419 up so that the image finished at the 4GB boundary. This boolean
420 option can be enabled to support this. The image size must be
421 provided so that binman knows when the image should start. For an
Simon Glass3ab95982018-08-01 15:22:37 -0600422 8MB ROM, the offset of the first entry would be 0xfff80000 with
Simon Glassbf7fd502016-11-25 20:15:51 -0700423 this option, instead of 0 without this option.
424
Jagdish Gediya94b57db2018-09-03 21:35:07 +0530425skip-at-start:
426 This property specifies the entry offset of the first entry.
427
428 For PowerPC mpc85xx based CPU, CONFIG_SYS_TEXT_BASE is the entry
429 offset of the first entry. It can be 0xeff40000 or 0xfff40000 for
430 nor flash boot, 0x201000 for sd boot etc.
431
432 'end-at-4gb' property is not applicable where CONFIG_SYS_TEXT_BASE +
433 Image size != 4gb.
Simon Glassbf7fd502016-11-25 20:15:51 -0700434
435Examples of the above options can be found in the tests. See the
436tools/binman/test directory.
437
Simon Glassdd57c132018-06-01 09:38:11 -0600438It is possible to have the same binary appear multiple times in the image,
439either by using a unit number suffix (u-boot@0, u-boot@1) or by using a
440different name for each and specifying the type with the 'type' attribute.
441
Simon Glassbf7fd502016-11-25 20:15:51 -0700442
Michael Heimpold383d2562018-08-22 22:01:24 +0200443Sections and hierachical images
Simon Glass18546952018-06-01 09:38:16 -0600444-------------------------------
445
446Sometimes it is convenient to split an image into several pieces, each of which
447contains its own set of binaries. An example is a flash device where part of
448the image is read-only and part is read-write. We can set up sections for each
449of these, and place binaries in them independently. The image is still produced
450as a single output file.
451
452This feature provides a way of creating hierarchical images. For example here
Simon Glass7ae5f312018-06-01 09:38:19 -0600453is an example image with two copies of U-Boot. One is read-only (ro), intended
454to be written only in the factory. Another is read-write (rw), so that it can be
Simon Glass18546952018-06-01 09:38:16 -0600455upgraded in the field. The sizes are fixed so that the ro/rw boundary is known
456and can be programmed:
457
458 binman {
459 section@0 {
460 read-only;
Simon Glassc8d48ef2018-06-01 09:38:21 -0600461 name-prefix = "ro-";
Simon Glass18546952018-06-01 09:38:16 -0600462 size = <0x100000>;
463 u-boot {
464 };
465 };
466 section@1 {
Simon Glassc8d48ef2018-06-01 09:38:21 -0600467 name-prefix = "rw-";
Simon Glass18546952018-06-01 09:38:16 -0600468 size = <0x100000>;
469 u-boot {
470 };
471 };
472 };
473
474This image could be placed into a SPI flash chip, with the protection boundary
475set at 1MB.
476
477A few special properties are provided for sections:
478
479read-only:
480 Indicates that this section is read-only. This has no impact on binman's
481 operation, but his property can be read at run time.
482
Simon Glassc8d48ef2018-06-01 09:38:21 -0600483name-prefix:
484 This string is prepended to all the names of the binaries in the
485 section. In the example above, the 'u-boot' binaries which actually be
486 renamed to 'ro-u-boot' and 'rw-u-boot'. This can be useful to
487 distinguish binaries with otherwise identical names.
488
Simon Glass18546952018-06-01 09:38:16 -0600489
Simon Glass12bb1a92019-07-20 12:23:51 -0600490Image Properties
491----------------
492
493Image nodes act like sections but also have a few extra properties:
494
495filename:
496 Output filename for the image. This defaults to image.bin (or in the
497 case of multiple images <nodename>.bin where <nodename> is the name of
498 the image node.
499
500allow-repack:
501 Create an image that can be repacked. With this option it is possible
502 to change anything in the image after it is created, including updating
503 the position and size of image components. By default this is not
504 permitted since it is not possibly to know whether this might violate a
505 constraint in the image description. For example, if a section has to
506 increase in size to hold a larger binary, that might cause the section
507 to fall out of its allow region (e.g. read-only portion of flash).
508
509 Adding this property causes the original offset and size values in the
510 image description to be stored in the FDT and fdtmap.
511
512
Simon Glass5a5da7c2018-07-17 13:25:37 -0600513Entry Documentation
514-------------------
515
516For details on the various entry types supported by binman and how to use them,
517see README.entries. This is generated from the source code using:
518
Simon Glass53cd5d92019-07-08 14:25:29 -0600519 binman entry-docs >tools/binman/README.entries
Simon Glass5a5da7c2018-07-17 13:25:37 -0600520
521
Simon Glass61f564d2019-07-08 14:25:48 -0600522Listing images
523--------------
524
525It is possible to list the entries in an existing firmware image created by
526binman, provided that there is an 'fdtmap' entry in the image. For example:
527
528 $ binman ls -i image.bin
529 Name Image-pos Size Entry-type Offset Uncomp-size
530 ----------------------------------------------------------------------
531 main-section c00 section 0
532 u-boot 0 4 u-boot 0
533 section 5fc section 4
534 cbfs 100 400 cbfs 0
535 u-boot 138 4 u-boot 38
536 u-boot-dtb 180 108 u-boot-dtb 80 3b5
537 u-boot-dtb 500 1ff u-boot-dtb 400 3b5
538 fdtmap 6fc 381 fdtmap 6fc
539 image-header bf8 8 image-header bf8
540
541This shows the hierarchy of the image, the position, size and type of each
542entry, the offset of each entry within its parent and the uncompressed size if
543the entry is compressed.
544
545It is also possible to list just some files in an image, e.g.
546
547 $ binman ls -i image.bin section/cbfs
548 Name Image-pos Size Entry-type Offset Uncomp-size
549 --------------------------------------------------------------------
550 cbfs 100 400 cbfs 0
551 u-boot 138 4 u-boot 38
552 u-boot-dtb 180 108 u-boot-dtb 80 3b5
553
554or with wildcards:
555
556 $ binman ls -i image.bin "*cb*" "*head*"
557 Name Image-pos Size Entry-type Offset Uncomp-size
558 ----------------------------------------------------------------------
559 cbfs 100 400 cbfs 0
560 u-boot 138 4 u-boot 38
561 u-boot-dtb 180 108 u-boot-dtb 80 3b5
562 image-header bf8 8 image-header bf8
563
564
Simon Glass71ce0ba2019-07-08 14:25:52 -0600565Extracting files from images
566----------------------------
567
568You can extract files from an existing firmware image created by binman,
569provided that there is an 'fdtmap' entry in the image. For example:
570
571 $ binman extract -i image.bin section/cbfs/u-boot
572
573which will write the uncompressed contents of that entry to the file 'u-boot' in
574the current directory. You can also extract to a particular file, in this case
575u-boot.bin:
576
577 $ binman extract -i image.bin section/cbfs/u-boot -f u-boot.bin
578
579It is possible to extract all files into a destination directory, which will
580put files in subdirectories matching the entry hierarchy:
581
582 $ binman extract -i image.bin -O outdir
583
584or just a selection:
585
586 $ binman extract -i image.bin "*u-boot*" -O outdir
587
588
Simon Glass10f9d002019-07-20 12:23:50 -0600589Replacing files in an image
590---------------------------
591
592You can replace files in an existing firmware image created by binman, provided
593that there is an 'fdtmap' entry in the image. For example:
594
595 $ binman replace -i image.bin section/cbfs/u-boot
596
597which will write the contents of the file 'u-boot' from the current directory
Simon Glassa6cb9952019-07-20 12:24:15 -0600598to the that entry, compressing if necessary. If the entry size changes, you must
599add the 'allow-repack' property to the original image before generating it (see
600above), otherwise you will get an error.
601
602You can also use a particular file, in this case u-boot.bin:
603
604 $ binman replace -i image.bin section/cbfs/u-boot -f u-boot.bin
605
606It is possible to replace all files from a source directory which uses the same
607hierarchy as the entries:
608
609 $ binman replace -i image.bin -I indir
610
611Files that are missing will generate a warning.
612
613You can also replace just a selection of entries:
614
615 $ binman replace -i image.bin "*u-boot*" -I indir
Simon Glass10f9d002019-07-20 12:23:50 -0600616
617
Simon Glasseea264e2019-07-08 14:25:49 -0600618Logging
619-------
620
621Binman normally operates silently unless there is an error, in which case it
622just displays the error. The -D/--debug option can be used to create a full
623backtrace when errors occur.
624
625Internally binman logs some output while it is running. This can be displayed
626by increasing the -v/--verbosity from the default of 1:
627
628 0: silent
629 1: warnings only
630 2: notices (important messages)
631 3: info about major operations
632 4: detailed information about each operation
633 5: debug (all output)
634
635
Simon Glasse0e5df92018-09-14 04:57:31 -0600636Hashing Entries
637---------------
Simon Glasse0ff8552016-11-25 20:15:53 -0700638
Simon Glasse0e5df92018-09-14 04:57:31 -0600639It is possible to ask binman to hash the contents of an entry and write that
640value back to the device-tree node. For example:
Simon Glasse0ff8552016-11-25 20:15:53 -0700641
Simon Glasse0e5df92018-09-14 04:57:31 -0600642 binman {
643 u-boot {
644 hash {
645 algo = "sha256";
646 };
647 };
648 };
649
650Here, a new 'value' property will be written to the 'hash' node containing
651the hash of the 'u-boot' entry. Only SHA256 is supported at present. Whole
652sections can be hased if desired, by adding the 'hash' node to the section.
653
654The has value can be chcked at runtime by hashing the data actually read and
655comparing this has to the value in the device tree.
Simon Glasse0ff8552016-11-25 20:15:53 -0700656
657
Simon Glassbf7fd502016-11-25 20:15:51 -0700658Order of image creation
659-----------------------
660
661Image creation proceeds in the following order, for each entry in the image.
662
Simon Glass078ab1a2018-07-06 10:27:41 -06006631. AddMissingProperties() - binman can add calculated values to the device
Simon Glass3ab95982018-08-01 15:22:37 -0600664tree as part of its processing, for example the offset and size of each
Simon Glass078ab1a2018-07-06 10:27:41 -0600665entry. This method adds any properties associated with this, expanding the
666device tree as needed. These properties can have placeholder values which are
667set later by SetCalculatedProperties(). By that stage the size of sections
668cannot be changed (since it would cause the images to need to be repacked),
669but the correct values can be inserted.
670
6712. ProcessFdt() - process the device tree information as required by the
Simon Glassecab8972018-07-06 10:27:40 -0600672particular entry. This may involve adding or deleting properties. If the
673processing is complete, this method should return True. If the processing
674cannot complete because it needs the ProcessFdt() method of another entry to
675run first, this method should return False, in which case it will be called
676again later.
677
Simon Glass078ab1a2018-07-06 10:27:41 -06006783. GetEntryContents() - the contents of each entry are obtained, normally by
Simon Glassbf7fd502016-11-25 20:15:51 -0700679reading from a file. This calls the Entry.ObtainContents() to read the
680contents. The default version of Entry.ObtainContents() calls
681Entry.GetDefaultFilename() and then reads that file. So a common mechanism
682to select a file to read is to override that function in the subclass. The
683functions must return True when they have read the contents. Binman will
684retry calling the functions a few times if False is returned, allowing
685dependencies between the contents of different entries.
686
Simon Glass3ab95982018-08-01 15:22:37 -06006874. GetEntryOffsets() - calls Entry.GetOffsets() for each entry. This can
Simon Glassbf7fd502016-11-25 20:15:51 -0700688return a dict containing entries that need updating. The key should be the
Simon Glass3ab95982018-08-01 15:22:37 -0600689entry name and the value is a tuple (offset, size). This allows an entry to
690provide the offset and size for other entries. The default implementation
691of GetEntryOffsets() returns {}.
Simon Glassbf7fd502016-11-25 20:15:51 -0700692
Simon Glass3ab95982018-08-01 15:22:37 -06006935. PackEntries() - calls Entry.Pack() which figures out the offset and
694size of an entry. The 'current' image offset is passed in, and the function
695returns the offset immediately after the entry being packed. The default
Simon Glassbf7fd502016-11-25 20:15:51 -0700696implementation of Pack() is usually sufficient.
697
Simon Glass078ab1a2018-07-06 10:27:41 -06006986. CheckSize() - checks that the contents of all the entries fits within
Simon Glassbf7fd502016-11-25 20:15:51 -0700699the image size. If the image does not have a defined size, the size is set
700large enough to hold all the entries.
701
Simon Glass078ab1a2018-07-06 10:27:41 -06007027. CheckEntries() - checks that the entries do not overlap, nor extend
Simon Glassbf7fd502016-11-25 20:15:51 -0700703outside the image.
704
Simon Glass4ab88b62019-07-20 12:23:52 -06007058. SetImagePos() - sets the image position of every entry. This is the absolute
706position 'image-pos', as opposed to 'offset' which is relative to the containing
707section. This must be done after all offsets are known, which is why it is quite
708late in the ordering.
709
7109. SetCalculatedProperties() - update any calculated properties in the device
Simon Glass3ab95982018-08-01 15:22:37 -0600711tree. This sets the correct 'offset' and 'size' vaues, for example.
Simon Glass078ab1a2018-07-06 10:27:41 -0600712
Simon Glass4ab88b62019-07-20 12:23:52 -060071310. ProcessEntryContents() - this calls Entry.ProcessContents() on each entry.
Simon Glassbf7fd502016-11-25 20:15:51 -0700714The default implementatoin does nothing. This can be overriden to adjust the
715contents of an entry in some way. For example, it would be possible to create
716an entry containing a hash of the contents of some other entries. At this
Simon Glassc52c9e72019-07-08 14:25:37 -0600717stage the offset and size of entries should not be adjusted unless absolutely
718necessary, since it requires a repack (going back to PackEntries()).
Simon Glassbf7fd502016-11-25 20:15:51 -0700719
Simon Glass4ab88b62019-07-20 12:23:52 -060072011. ResetForPack() - if the ProcessEntryContents() step failed, in that an entry
721has changed its size, then there is no alternative but to go back to step 5 and
722try again, repacking the entries with the updated size. ResetForPack() removes
723the fixed offset/size values added by binman, so that the packing can start from
724scratch.
725
72612. WriteSymbols() - write the value of symbols into the U-Boot SPL binary.
Simon Glass3ab95982018-08-01 15:22:37 -0600727See 'Access to binman entry offsets at run time' below for a description of
Simon Glass0a4357c2018-07-06 10:27:39 -0600728what happens in this stage.
Simon Glass39c15022017-11-13 18:55:05 -0700729
Simon Glass4ab88b62019-07-20 12:23:52 -060073013. BuildImage() - builds the image and writes it to a file
731
73214. WriteMap() - writes a text file containing a map of the image. This is the
733final step.
Simon Glassbf7fd502016-11-25 20:15:51 -0700734
735
Simon Glass6d427c62016-11-25 20:15:59 -0700736Automatic .dtsi inclusion
737-------------------------
738
739It is sometimes inconvenient to add a 'binman' node to the .dts file for each
740board. This can be done by using #include to bring in a common file. Another
741approach supported by the U-Boot build system is to automatically include
742a common header. You can then put the binman node (and anything else that is
743specific to U-Boot, such as u-boot,dm-pre-reloc properies) in that header
744file.
745
746Binman will search for the following files in arch/<arch>/dts:
747
748 <dts>-u-boot.dtsi where <dts> is the base name of the .dts file
749 <CONFIG_SYS_SOC>-u-boot.dtsi
750 <CONFIG_SYS_CPU>-u-boot.dtsi
751 <CONFIG_SYS_VENDOR>-u-boot.dtsi
752 u-boot.dtsi
753
754U-Boot will only use the first one that it finds. If you need to include a
755more general file you can do that from the more specific file using #include.
756If you are having trouble figuring out what is going on, you can uncomment
757the 'warning' line in scripts/Makefile.lib to see what it has found:
758
759 # Uncomment for debugging
Simon Glass511fd0b2017-11-12 21:52:05 -0700760 # This shows all the files that were considered and the one that we chose.
761 # u_boot_dtsi_options_debug = $(u_boot_dtsi_options_raw)
Simon Glass6d427c62016-11-25 20:15:59 -0700762
763
Simon Glassdbf6be92018-08-01 15:22:42 -0600764Access to binman entry offsets at run time (symbols)
765----------------------------------------------------
Simon Glass39c15022017-11-13 18:55:05 -0700766
767Binman assembles images and determines where each entry is placed in the image.
768This information may be useful to U-Boot at run time. For example, in SPL it
769is useful to be able to find the location of U-Boot so that it can be executed
770when SPL is finished.
771
772Binman allows you to declare symbols in the SPL image which are filled in
773with their correct values during the build. For example:
774
Simon Glass7c150132019-11-06 17:22:44 -0700775 binman_sym_declare(ulong, u_boot_any, image_pos);
Simon Glass39c15022017-11-13 18:55:05 -0700776
Simon Glass7c150132019-11-06 17:22:44 -0700777declares a ulong value which will be assigned to the image-pos of any U-Boot
Simon Glass39c15022017-11-13 18:55:05 -0700778image (u-boot.bin, u-boot.img, u-boot-nodtb.bin) that is present in the image.
779You can access this value with something like:
780
Simon Glass7c150132019-11-06 17:22:44 -0700781 ulong u_boot_offset = binman_sym(ulong, u_boot_any, image_pos);
Simon Glass39c15022017-11-13 18:55:05 -0700782
Simon Glass7c150132019-11-06 17:22:44 -0700783Thus u_boot_offset will be set to the image-pos of U-Boot in memory, assuming
784that the whole image has been loaded, or is available in flash. You can then
785jump to that address to start U-Boot.
Simon Glass39c15022017-11-13 18:55:05 -0700786
Simon Glass7c150132019-11-06 17:22:44 -0700787At present this feature is only supported in SPL and TPL. In principle it is
788possible to fill in such symbols in U-Boot proper, as well, but a future C
789library is planned for this instead, to read from the device tree.
790
791As well as image-pos, it is possible to read the size of an entry and its
792offset (which is the start position of the entry within its parent).
793
794A small technical note: Binman automatically adds the base address of the image
795(i.e. __image_copy_start) to the value of the image-pos symbol, so that when the
796image is loaded to its linked address, the value will be correct and actually
797point into the image.
798
799For example, say SPL is at the start of the image and linked to start at address
80080108000. If U-Boot's image-pos is 0x8000 then binman will write an image-pos
801for U-Boot of 80110000 into the SPL binary, since it assumes the image is loaded
802to 80108000, with SPL at 80108000 and U-Boot at 80110000.
803
804For x86 devices (with the end-at-4gb property) this base address is not added
805since it is assumed that images are XIP and the offsets already include the
806address.
Simon Glass39c15022017-11-13 18:55:05 -0700807
808
Simon Glassdbf6be92018-08-01 15:22:42 -0600809Access to binman entry offsets at run time (fdt)
810------------------------------------------------
811
812Binman can update the U-Boot FDT to include the final position and size of
813each entry in the images it processes. The option to enable this is -u and it
814causes binman to make sure that the 'offset', 'image-pos' and 'size' properties
815are set correctly for every entry. Since it is not necessary to specify these in
816the image definition, binman calculates the final values and writes these to
817the device tree. These can be used by U-Boot at run-time to find the location
818of each entry.
819
Simon Glass086cec92019-07-08 14:25:27 -0600820Alternatively, an FDT map entry can be used to add a special FDT containing
821just the information about the image. This is preceded by a magic string so can
Simon Glasscf228942019-07-08 14:25:28 -0600822be located anywhere in the image. An image header (typically at the start or end
823of the image) can be used to point to the FDT map. See fdtmap and image-header
824entries for more information.
Simon Glass086cec92019-07-08 14:25:27 -0600825
Simon Glassdbf6be92018-08-01 15:22:42 -0600826
Simon Glass83d73c22018-09-14 04:57:26 -0600827Compression
828-----------
829
830Binman support compression for 'blob' entries (those of type 'blob' and
Simon Glass8287ee82019-07-08 14:25:30 -0600831derivatives). To enable this for an entry, add a 'compress' property:
Simon Glass83d73c22018-09-14 04:57:26 -0600832
833 blob {
834 filename = "datafile";
Simon Glass8287ee82019-07-08 14:25:30 -0600835 compress = "lz4";
Simon Glass83d73c22018-09-14 04:57:26 -0600836 };
837
838The entry will then contain the compressed data, using the 'lz4' compression
Simon Glass8287ee82019-07-08 14:25:30 -0600839algorithm. Currently this is the only one that is supported. The uncompressed
840size is written to the node in an 'uncomp-size' property, if -u is used.
Simon Glass83d73c22018-09-14 04:57:26 -0600841
842
843
Simon Glass3b0c38212018-06-01 09:38:20 -0600844Map files
845---------
846
847The -m option causes binman to output a .map file for each image that it
Simon Glass3ab95982018-08-01 15:22:37 -0600848generates. This shows the offset and size of each entry. For example:
Simon Glass3b0c38212018-06-01 09:38:20 -0600849
Simon Glass3ab95982018-08-01 15:22:37 -0600850 Offset Size Name
Simon Glass8122f392018-07-17 13:25:28 -0600851 00000000 00000028 main-section
852 00000000 00000010 section@0
853 00000000 00000004 u-boot
854 00000010 00000010 section@1
855 00000000 00000004 u-boot
Simon Glass3b0c38212018-06-01 09:38:20 -0600856
857This shows a hierarchical image with two sections, each with a single entry. The
Simon Glass3ab95982018-08-01 15:22:37 -0600858offsets of the sections are absolute hex byte offsets within the image. The
859offsets of the entries are relative to their respective sections. The size of
Simon Glass3b0c38212018-06-01 09:38:20 -0600860each entry is also shown, in bytes (hex). The indentation shows the entries
861nested inside their sections.
862
863
Simon Glass53af22a2018-07-17 13:25:32 -0600864Passing command-line arguments to entries
865-----------------------------------------
866
867Sometimes it is useful to pass binman the value of an entry property from the
868command line. For example some entries need access to files and it is not
869always convenient to put these filenames in the image definition (device tree).
870
871The-a option supports this:
872
873 -a<prop>=<value>
874
875where
876
877 <prop> is the property to set
878 <value> is the value to set it to
879
880Not all properties can be provided this way. Only some entries support it,
881typically for filenames.
882
883
Simon Glassc7d80352019-07-08 13:18:28 -0600884External tools
885--------------
886
887Binman can make use of external command-line tools to handle processing of
888entry contents or to generate entry contents. These tools are executed using
889the 'tools' module's Run() method. The tools generally must exist on the PATH,
890but the --toolpath option can be used to specify additional search paths to
891use. This option can be specified multiple times to add more than one path.
892
Alper Nebi Yasak4ec40a72020-09-06 14:46:07 +0300893For some compile tools binman will use the versions specified by commonly-used
894environment variables like CC and HOSTCC for the C compiler, based on whether
895the tool's output will be used for the target or for the host machine. If those
896aren't given, it will also try to derive target-specific versions from the
897CROSS_COMPILE environment variable during a cross-compilation.
898
Simon Glassc7d80352019-07-08 13:18:28 -0600899
Simon Glass6d427c62016-11-25 20:15:59 -0700900Code coverage
901-------------
902
903Binman is a critical tool and is designed to be very testable. Entry
Simon Glass53cd5d92019-07-08 14:25:29 -0600904implementations target 100% test coverage. Run 'binman test -T' to check this.
Simon Glass6d427c62016-11-25 20:15:59 -0700905
906To enable Python test coverage on Debian-type distributions (e.g. Ubuntu):
907
Simon Glass45f449b2019-07-08 13:18:26 -0600908 $ sudo apt-get install python-coverage python3-coverage python-pytest
Simon Glass6d427c62016-11-25 20:15:59 -0700909
910
Simon Glass55660d02019-05-17 22:00:52 -0600911Concurrent tests
912----------------
913
914Binman tries to run tests concurrently. This means that the tests make use of
915all available CPUs to run.
916
917 To enable this:
918
919 $ sudo apt-get install python-subunit python3-subunit
920
921Use '-P 1' to disable this. It is automatically disabled when code coverage is
922being used (-T) since they are incompatible.
923
924
Simon Glassd5164a72019-07-08 13:18:49 -0600925Debugging tests
926---------------
927
928Sometimes when debugging tests it is useful to keep the input and output
929directories so they can be examined later. Use -X or --test-preserve-dirs for
930this.
931
932
Alper Nebi Yasak4ec40a72020-09-06 14:46:07 +0300933Running tests on non-x86 architectures
934--------------------------------------
935
936Binman's tests have been written under the assumption that they'll be run on a
937x86-like host and there hasn't been an attempt to make them portable yet.
938However, it's possible to run the tests by cross-compiling to x86.
939
940To install an x86 cross-compiler on Debian-type distributions (e.g. Ubuntu):
941
942 $ sudo apt-get install gcc-x86-64-linux-gnu
943
944Then, you can run the tests under cross-compilation:
945
946 $ CROSS_COMPILE=x86_64-linux-gnu- binman test -T
947
948You can also use gcc-i686-linux-gnu similar to the above.
949
950
Simon Glassbf7fd502016-11-25 20:15:51 -0700951Advanced Features / Technical docs
952----------------------------------
953
954The behaviour of entries is defined by the Entry class. All other entries are
955a subclass of this. An important subclass is Entry_blob which takes binary
956data from a file and places it in the entry. In fact most entry types are
957subclasses of Entry_blob.
958
959Each entry type is a separate file in the tools/binman/etype directory. Each
960file contains a class called Entry_<type> where <type> is the entry type.
961New entry types can be supported by adding new files in that directory.
962These will automatically be detected by binman when needed.
963
964Entry properties are documented in entry.py. The entry subclasses are free
965to change the values of properties to support special behaviour. For example,
966when Entry_blob loads a file, it sets content_size to the size of the file.
967Entry classes can adjust other entries. For example, an entry that knows
Simon Glass3ab95982018-08-01 15:22:37 -0600968where other entries should be positioned can set up those entries' offsets
Simon Glassbf7fd502016-11-25 20:15:51 -0700969so they don't need to be set in the binman decription. It can also adjust
970entry contents.
971
972Most of the time such essoteric behaviour is not needed, but it can be
973essential for complex images.
974
Simon Glass3ed0de32017-12-24 12:12:07 -0700975If you need to specify a particular device-tree compiler to use, you can define
976the DTC environment variable. This can be useful when the system dtc is too
977old.
978
Simon Glassa3c00552018-11-06 15:21:31 -0700979To enable a full backtrace and other debugging features in binman, pass
980BINMAN_DEBUG=1 to your build:
981
Bin Mengc443f562019-10-02 19:07:29 -0700982 make qemu-x86_defconfig
Simon Glassa3c00552018-11-06 15:21:31 -0700983 make BINMAN_DEBUG=1
984
Simon Glass1f338e02019-09-25 08:11:11 -0600985To enable verbose logging from binman, base BINMAN_VERBOSE to your build, which
986adds a -v<level> option to the call to binman:
987
Bin Mengc443f562019-10-02 19:07:29 -0700988 make qemu-x86_defconfig
Simon Glass1f338e02019-09-25 08:11:11 -0600989 make BINMAN_VERBOSE=5
990
Simon Glassbf7fd502016-11-25 20:15:51 -0700991
992History / Credits
993-----------------
994
995Binman takes a lot of inspiration from a Chrome OS tool called
996'cros_bundle_firmware', which I wrote some years ago. That tool was based on
997a reasonably simple and sound design but has expanded greatly over the
998years. In particular its handling of x86 images is convoluted.
999
Simon Glass7ae5f312018-06-01 09:38:19 -06001000Quite a few lessons have been learned which are hopefully applied here.
Simon Glassbf7fd502016-11-25 20:15:51 -07001001
1002
1003Design notes
1004------------
1005
1006On the face of it, a tool to create firmware images should be fairly simple:
1007just find all the input binaries and place them at the right place in the
1008image. The difficulty comes from the wide variety of input types (simple
1009flat binaries containing code, packaged data with various headers), packing
1010requirments (alignment, spacing, device boundaries) and other required
1011features such as hierarchical images.
1012
1013The design challenge is to make it easy to create simple images, while
1014allowing the more complex cases to be supported. For example, for most
1015images we don't much care exactly where each binary ends up, so we should
1016not have to specify that unnecessarily.
1017
1018New entry types should aim to provide simple usage where possible. If new
1019core features are needed, they can be added in the Entry base class.
1020
1021
1022To do
1023-----
1024
1025Some ideas:
Simon Glassbf7fd502016-11-25 20:15:51 -07001026- Use of-platdata to make the information available to code that is unable
1027 to use device tree (such as a very small SPL image)
Simon Glassbf7fd502016-11-25 20:15:51 -07001028- Allow easy building of images by specifying just the board name
Simon Glassbf7fd502016-11-25 20:15:51 -07001029- Support building an image for a board (-b) more completely, with a
1030 configurable build directory
Simon Glass488b2252019-07-08 14:25:24 -06001031- Support adding FITs to an image
1032- Support for ARM Trusted Firmware (ATF)
Simon Glass513c53e2019-07-20 12:24:02 -06001033- Detect invalid properties in nodes
1034- Sort the fdtmap by offset
Simon Glassbf7fd502016-11-25 20:15:51 -07001035
1036--
1037Simon Glass <sjg@chromium.org>
10387/7/2016