image boot.vfat {
  vfat {
    files = {
      "bcm2710-rpi-3-b.dtb",
      "bcm2710-rpi-3-b-plus.dtb",
      "bcm2837-rpi-3-b.dtb",
      "rpi-firmware/bootcode.bin",
      "rpi-firmware/cmdline.txt",
      "rpi-firmware/config.txt",
      "rpi-firmware/fixup.dat",
      "rpi-firmware/start.elf",
      "overlays",
      "Image"
    }
  }
  size = 96M
}

image sdcard.img {
  hdimage {
    disk-signature = 0xOVOS
    gpt = "true"
  }

  partition boot1 {
    partition-type = 0xC
    partition-uuid = 9262aee5-2d23-4e09-baac-280591e2e834
    partition-type-uuid = c12a7328-f81f-11d2-ba4b-00a0c93ec93b
    bootable = "true"
    image = "boot.vfat"
  }

  partition rootfs1 {
    partition-uuid = c0932a41-44cf-463b-8152-d43188553ed4
    partition-type-uuid = b921b045-1df0-41c3-af44-4c6f280d3fae
    image = "rootfs.ext4"
  }
}