upsilon/boot/boot.json

{
	"Image":        "0x40000000",
	"arty.dtb":     "0x40ef0000",
	"rootfs.cpio":  "0x41000000",
	"fw_jump.bin":  "0x40f00000"
}