(!less_than_int(1757241612, getprop("ro.build.date.utc"))) || abort("E3003: Can't install this package (Sun Sep  7 18:40:12 CST 2025) over newer build (" + getprop("ro.build.date") + ").");
getprop("ro.product.brand") == "TCL" || getprop("ro.product.brand") == "IFFALCON" || abort("E3000: This package expects the value \"TCL\" or \"IFFALCON\" for \"ro.product.brand\"; this has value \"" + getprop("ro.product.brand") + "\".");
getprop("ro.product.name") == "G08_4K_GB" || getprop("ro.product.name") == "G08_4K_US" || getprop("ro.product.name") == "G08_4K_US_NF" || getprop("ro.product.name") == "G16_4K_US" || abort("E3000: This package expects the value \"G08_4K_GB\" or \"G08_4K_US\" or \"G08_4K_US_NF\" or \"G16_4K_US\" for \"ro.product.name\"; this has value \"" + getprop("ro.product.name") + "\".");
getprop("ro.product.device") == "G08" || getprop("ro.product.device") == "G16" || abort("E3000: This package expects the value \"G08\" or \"G16\" for \"ro.product.device\"; this has value \"" + getprop("ro.product.device") + "\".");
ui_print("Target: TCL/G08_4K_US/G08:12/STT2.230203.001/AS102:user/release-keys");

# --- Start patching dynamic partitions ---


# Update dynamic partition metadata

assert(update_dynamic_partitions(package_extract_file("dynamic_partitions_op_list")));

# Patch partition system

ui_print("Patching system image unconditionally...");
show_progress(0.500000, 0);
block_image_update(map_partition("system"), package_extract_file("system.transfer.list"), "system.new.dat.br", "system.patch.dat") ||
  abort("E1001: Failed to update system image.");

# Patch partition vendor

ui_print("Patching vendor image unconditionally...");
show_progress(0.100000, 0);
block_image_update(map_partition("vendor"), package_extract_file("vendor.transfer.list"), "vendor.new.dat.br", "vendor.patch.dat") ||
  abort("E2001: Failed to update vendor image.");

# Patch partition product

ui_print("Patching product image unconditionally...");
show_progress(0.100000, 0);
block_image_update(map_partition("product"), package_extract_file("product.transfer.list"), "product.new.dat.br", "product.patch.dat") ||
  abort("E2001: Failed to update product image.");

# Patch partition system_ext

ui_print("Patching system_ext image unconditionally...");
show_progress(0.100000, 0);
block_image_update(map_partition("system_ext"), package_extract_file("system_ext.transfer.list"), "system_ext.new.dat.br", "system_ext.patch.dat") ||
  abort("E2001: Failed to update system_ext image.");

# Patch partition vendor_dlkm

ui_print("Patching vendor_dlkm image unconditionally...");
show_progress(0.100000, 0);
block_image_update(map_partition("vendor_dlkm"), package_extract_file("vendor_dlkm.transfer.list"), "vendor_dlkm.new.dat.br", "vendor_dlkm.patch.dat") ||
  abort("E2001: Failed to update vendor_dlkm image.");

# --- End patching dynamic partitions ---

show_progress(0.100000, 10);
package_extract_file("rom_emmc_boot.bin", "/dev/block/by-name/rom_emmc_boot_a");
package_extract_file("tee.aes", "/dev/block/by-name/optee_a");
package_extract_file("vendor_boot.img", "/dev/block/by-name/vendor_boot_a");
package_extract_file("bl31.aes", "/dev/block/by-name/armfw_a");
package_extract_file("bootdata.img", "/dev/block/by-name/bootdata_a");
package_extract_file("boot.img", "/dev/block/by-name/boot_a");
package_extract_file("tvconfig.img", "/dev/block/by-name/tvconfig_a");
package_extract_file("vbmeta.img", "/dev/block/by-name/vbmeta_a");
package_extract_file("dtbo.img", "/dev/block/by-name/dtbo_a");
package_extract_file("oem.img", "/dev/block/by-name/oem_a");
package_extract_file("mboot.bin", "/dev/block/by-name/mboot_a");
ui_print("Patching tclconfig_a image unconditionally...");
block_image_update("/dev/block/by-name/tclconfig_a", package_extract_file("tclconfig.transfer.list"), "tclconfig.new.dat.br", "tclconfig.patch.dat") ||
  abort("E2001: Failed to update tclconfig image.");
package_extract_file("rom_emmc_boot.bin", "/dev/block/by-name/rom_emmc_boot_b");
package_extract_file("tee.aes", "/dev/block/by-name/optee_b");
package_extract_file("vendor_boot.img", "/dev/block/by-name/vendor_boot_b");
package_extract_file("bl31.aes", "/dev/block/by-name/armfw_b");
package_extract_file("bootdata.img", "/dev/block/by-name/bootdata_b");
package_extract_file("boot.img", "/dev/block/by-name/boot_b");
package_extract_file("tvconfig.img", "/dev/block/by-name/tvconfig_b");
package_extract_file("vbmeta.img", "/dev/block/by-name/vbmeta_b");
package_extract_file("dtbo.img", "/dev/block/by-name/dtbo_b");
package_extract_file("oem.img", "/dev/block/by-name/oem_b");
package_extract_file("mboot.bin", "/dev/block/by-name/mboot_b");
ui_print("Patching tclconfig_b image unconditionally...");
block_image_update("/dev/block/by-name/tclconfig_b", package_extract_file("tclconfig.transfer.list"), "tclconfig.new.dat.br", "tclconfig.patch.dat") ||
  abort("E2001: Failed to update tclconfig image.");
set_progress(1.000000);
