d323618255
This configuration builds a 64bit image for RaspberryPi 4. Signed-off-by: Arthur Courtel <arthur.courtel@smile.fr> Signed-off-by: Thomas Petazzoni <thomas.petazzoni@bootlin.com>
31 lines
484 B
INI
31 lines
484 B
INI
image boot.vfat {
|
|
vfat {
|
|
files = {
|
|
"bcm2711-rpi-4-b.dtb",
|
|
"rpi-firmware/cmdline.txt",
|
|
"rpi-firmware/config.txt",
|
|
"rpi-firmware/fixup4.dat",
|
|
"rpi-firmware/start4.elf",
|
|
"rpi-firmware/overlays",
|
|
"Image"
|
|
}
|
|
}
|
|
size = 32M
|
|
}
|
|
|
|
image sdcard.img {
|
|
hdimage {
|
|
}
|
|
|
|
partition boot {
|
|
partition-type = 0xC
|
|
bootable = "true"
|
|
image = "boot.vfat"
|
|
}
|
|
|
|
partition rootfs {
|
|
partition-type = 0x83
|
|
image = "rootfs.ext4"
|
|
}
|
|
}
|