board/octavo/osd32mp1-red/genimage.cfg

image sdcard.img {
	hdimage {
		partition-table-type = "gpt"
	}

	partition fsbl1 {
		image = "tf-a-stm32mp157c-osd32mp1-red.stm32"
	}

	partition fsbl2 {
		image = "tf-a-stm32mp157c-osd32mp1-red.stm32"
	}

	partition fip {
		image = "fip.bin"
		size = 2M
	}

	partition rootfs {
		image = "rootfs.ext4"
		bootable = "yes"
	}
}