[Buildroot] rpi: image generation

[Benoît Thébaudeau]

Hi all,

I have local changes for the Raspberry Pi that can automatically generate an
image to be flashed on the SD card (e.g. with dd).

This mechanism uses genimage, so no sudo is needed. It generates a FAT32
partition of 64 MiB and an ext4 partition that just fits its contents with a
small free space. I also have scripts to auto-expand the ext4 partition and FS
to fill the SD card.

Are you interested in any of this, or do you prefer to keep the current manual
approach that makes it possible to do just anything custom?

Best regards,
Benoît