image boot.vfat {
	vfat {
		files = {
			"kernel",
			"stm32f746-disco.dtb",
			"extlinux"
		}
	}

	size = 16M
}

image sdcard.img {
	hdimage {
	}

	partition boot {
		partition-type = 0xC
		image = "boot.vfat"
	}

	partition rootfs {
		partition-type = 0x83
		image = "rootfs.ext"
		size = 32M
	}
}