assert(getprop("ro.product.device") == "picasso" || getprop("ro.build.product") == "picasso" || abort("E3004: This package is for device: picasso; this device is " + getprop("ro.product.device") + "."););
ui_print("Target: google/coral/coral:11/RP1A.201005.004/6782484:user/release-keys");
ui_print(" ");
ui_print(" ");
ui_print(" ");
ui_print(" RRRRRRRRRRRRRRRRR     RRRRRRRRRRRRRRRRR   ");
ui_print(" R::::::::::::::::R    R::::::::::::::::R  ");
ui_print(" R::::::RRRRRR:::::R   R::::::RRRRRR:::::R ");
ui_print(" RR:::::R     R:::::R  RR:::::R     R:::::R");
ui_print("   R::::R     R:::::R    R::::R     R:::::R");
ui_print("   R::::R     R:::::R    R::::R     R:::::R");
ui_print("   R::::RRRRRR:::::R     R::::RRRRRR:::::R ");
ui_print("   R:::::::::::::RR      R:::::::::::::RR  ");
ui_print("   R::::RRRRRR:::::R     R::::RRRRRR:::::R ");
ui_print("   R::::R     R:::::R    R::::R     R:::::R");
ui_print("   R::::R     R:::::R    R::::R     R:::::R");
ui_print("   R::::R     R:::::R    R::::R     R:::::R");
ui_print(" RR:::::R     R:::::R  RR:::::R     R:::::R");
ui_print(" R::::::R     R:::::R  R::::::R     R:::::R");
ui_print(" R::::::R     R:::::R  R::::::R     R:::::R");
ui_print(" RRRRRRRR     RRRRRRR  RRRRRRRR     RRRRRRR");
ui_print(" ");
ui_print(" ");
ui_print(" **************** Software *****************");
ui_print(" OS version: 8.6.3");
ui_print("");
ui_print(" Android version: 10");
ui_print("");
ui_print(" Security patch: 2020-10-05");
ui_print("");
ui_print(" SDK version: 29");
ui_print("");
ui_print(" Build ID: QQ3A.200905.001");
ui_print("");
ui_print(" Build date: Tue Oct 27 12:56:04 UTC 2020");
ui_print(" **************** Hardware *****************");
ui_print(" Device codename: Redmi K30 5G");
ui_print("");
ui_print(" Manufacturer: Redmi");
ui_print("");
ui_print(" *******************************************");
package_extract_dir("install", "/tmp/install");
set_metadata_recursive("/tmp/install", "uid", 0, "gid", 0, "dmode", 0755, "fmode", 0644);
set_metadata_recursive("/tmp/install/bin", "uid", 0, "gid", 0, "dmode", 0755, "fmode", 0755);
run_program("/tmp/install/bin/backuptool.sh", "backup", map_partition("system"), "ext4");

# --- Start patching dynamic partitions ---


# Update dynamic partition metadata

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

# 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.");
delete_recursive("/data/system/package_cache");

# Patch partition system

ui_print("Patching system image unconditionally...");
show_progress(0.800000, 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.");
delete_recursive("/data/system/package_cache");

# --- End patching dynamic partitions ---

show_progress(0.020000, 10);
run_program("/tmp/install/bin/backuptool.sh", "restore", map_partition("system"), "ext4");
package_extract_file("boot.img", "/dev/block/bootdevice/by-name/boot");
show_progress(0.100000, 10);
set_progress(1.000000);
