e37ee5acdc
The rpi genimage configurations are all identical, except for the boot partition files, which include: - Device tree files (*.dtb) - rpi-firmware files (rpi-firmware/*) - Kernel image (Image/zImage) All of these are quite simple to figure out programmatically based on the content of BINARIES_DIR, so extend post-image.sh to fall back to generating a genimage configuration based on genimage.cfg.in if a board specific one does not exist. Signed-off-by: Peter Korsgaard <peter@korsgaard.com>
26 lines
268 B
INI
26 lines
268 B
INI
image boot.vfat {
|
|
vfat {
|
|
files = {
|
|
#BOOT_FILES#
|
|
}
|
|
}
|
|
|
|
size = 32M
|
|
}
|
|
|
|
image sdcard.img {
|
|
hdimage {
|
|
}
|
|
|
|
partition boot {
|
|
partition-type = 0xC
|
|
bootable = "true"
|
|
image = "boot.vfat"
|
|
}
|
|
|
|
partition rootfs {
|
|
partition-type = 0x83
|
|
image = "rootfs.ext4"
|
|
}
|
|
}
|