tree 4aaa608894a972e93847e0fbeaea74ef01906267
parent 4a1fef87d51621ac00bdebade3ed51f8aaa1a1ca
author Joakim Bech <joakim.bech@linaro.org> 1686215579 +0200
committer Joakim Bech <joakim.bech@linaro.org> 1686222128 +0200

rpi3: create a bootable image

At [1] we temporarily fixed the issue with the stripped header from the
kernel image. There we also suggested to make a future change making it
possible to just simply 'dd' an image to the SD-card.

This change introduces a bash script that generates a rootfs partition
and a boot partition. The rootfs partition will contain the root
filesystem as created by Buildroot, while the boot partition will
contain the firmware files placed in a temporary folder, that will be
used to created the boot partition. To create the boot partition, we
leverage the 'genimage' tool, hence we enable and build that as host
tool in Buildroot.

The change removes the need to manually create, mount partitions and
copy files to them. With this, it is sufficient to simply 'dd' the
generated image to the SD-card. The 'make img-help' target has been
kept, but now it's basically just a 'dd' line instead. People can also
use other tools to write the image to a SD-card, such as Balena Etcher
and similar tools.

Link: [1] https://github.com/OP-TEE/build/pull/643

Signed-off-by: Joakim Bech <joakim.bech@linaro.org>
Tested-by: Joakim Bech <joakim.bech@linaro.org>