getprop("ro.product.device") == "beryllium" || abort("E3004: This package is for \"beryllium\" devices; this is a \"" + getprop("ro.product.device") + "\".");
ui_print("Source: Xiaomi/beryllium/beryllium:9/PKQ1.180729.001/9.1.7:user/release-keys");
ui_print("Target: Xiaomi/beryllium/beryllium:9/PKQ1.180729.001/9.1.10:user/release-keys");
ui_print("Verifying current system...");
getprop("ro.build.fingerprint") == "Xiaomi/beryllium/beryllium:9/PKQ1.180729.001/9.1.7:user/release-keys" ||
    getprop("ro.build.fingerprint") == "Xiaomi/beryllium/beryllium:9/PKQ1.180729.001/9.1.10:user/release-keys" ||
    abort("E3001: Package expects build fingerprint of Xiaomi/beryllium/beryllium:9/PKQ1.180729.001/9.1.7:user/release-keys or Xiaomi/beryllium/beryllium:9/PKQ1.180729.001/9.1.10:user/release-keys; this device has " + getprop("ro.build.fingerprint") + ".");
show_progress(0.100000, 5);
apply_patch_check("EMMC:/dev/block/bootdevice/by-name/boot:50242890:1f0e5ce3603630d8c0e70daa62015c9ebf49072d:50238794:4fa26d247f014252d1dc97ee563b55fc0ddfbc53") || abort("E3005: \"EMMC:/dev/block/bootdevice/by-name/boot:50242890:1f0e5ce3603630d8c0e70daa62015c9ebf49072d:50238794:4fa26d247f014252d1dc97ee563b55fc0ddfbc53\" has unexpected contents.");
apply_patch_space(96161792) || abort("E3006: Not enough free space on /cache to apply patches.");
show_progress(0.100000, 70);
if (range_sha1("/dev/block/bootdevice/by-name/system", "66,1,208,223,547,8303,8310,8314,8315,8320,8321,8327,8328,8330,8331,8333,8334,8335,8336,8476,8477,8478,8479,8505,8506,9771,9772,9859,9860,9872,9873,9905,9906,9908,9909,10110,10111,10116,10406,10411,10412,10414,10415,10446,10481,10482,10483,10491,10492,10504,32770,32959,98306,98495,163842,164031,229378,229567,294914,295103,524296,528344,753436,774155,780254,780261,786432") == "f366a4a2b17755ba8dcd20db0bbf35bb2216a93d" || block_image_verify("/dev/block/bootdevice/by-name/system", package_extract_file("system.transfer.list"), "system.new.dat", "system.patch.dat")) then
ui_print("Verified system image...");
else
check_first_block("/dev/block/bootdevice/by-name/system");
ifelse (block_image_recover("/dev/block/bootdevice/by-name/system", "66,1,208,223,547,8303,8310,8314,8315,8320,8321,8327,8328,8330,8331,8333,8334,8335,8336,8476,8477,8478,8479,8505,8506,9771,9772,9859,9860,9872,9873,9905,9906,9908,9909,10110,10111,10116,10406,10411,10412,10414,10415,10446,10481,10482,10483,10491,10492,10504,32770,32959,98306,98495,163842,164031,229378,229567,294914,295103,524296,528344,753436,774155,780254,780261,786432") && block_image_verify("/dev/block/bootdevice/by-name/system", package_extract_file("system.transfer.list"), "system.new.dat", "system.patch.dat"), ui_print("system recovered successfully."), abort("E1004: system partition fails to recover"));
endif;
if (range_sha1("/dev/block/bootdevice/by-name/vendor", "24,1,70,71,73,80,208,4112,4119,4780,32770,32832,80286,81490,98306,98368,163842,163904,168976,229376,229378,258044,260078,260085,262144") == "7e13a875a2b6c598895b37d06e7a1a94d73fe2d9" || block_image_verify("/dev/block/bootdevice/by-name/vendor", package_extract_file("vendor.transfer.list"), "vendor.new.dat", "vendor.patch.dat")) then
ui_print("Verified vendor image...");
else
check_first_block("/dev/block/bootdevice/by-name/vendor");
ifelse (block_image_recover("/dev/block/bootdevice/by-name/vendor", "24,1,70,71,73,80,208,4112,4119,4780,32770,32832,80286,81490,98306,98368,163842,163904,168976,229376,229378,258044,260078,260085,262144") && block_image_verify("/dev/block/bootdevice/by-name/vendor", package_extract_file("vendor.transfer.list"), "vendor.new.dat", "vendor.patch.dat"), ui_print("vendor recovered successfully."), abort("E2004: vendor partition fails to recover"));
endif;

# ---- start making changes here ----

ui_print("Patching boot image...");
show_progress(0.100000, 10);
apply_patch("EMMC:/dev/block/bootdevice/by-name/boot:50242890:1f0e5ce3603630d8c0e70daa62015c9ebf49072d:50238794:4fa26d247f014252d1dc97ee563b55fc0ddfbc53",
            "-", 4fa26d247f014252d1dc97ee563b55fc0ddfbc53, 50238794,
            1f0e5ce3603630d8c0e70daa62015c9ebf49072d, package_extract_file("patch/boot.img.p")) || abort("Failed to apply patch \"patch/boot.img.p \".");
show_progress(0.600000, 600);
ui_print("Patching system image after verification.");
block_image_update("/dev/block/bootdevice/by-name/system", package_extract_file("system.transfer.list"), "system.new.dat", "system.patch.dat") ||
  abort("E1001: Failed to update system image.");
ui_print("Patching vendor image after verification.");
block_image_update("/dev/block/bootdevice/by-name/vendor", package_extract_file("vendor.transfer.list"), "vendor.new.dat", "vendor.patch.dat") ||
  abort("E2001: Failed to update vendor image.");

# ---- radio update tasks ----

ui_print("Patching firmware images...");
package_extract_file("firmware-update/abl.elf", "/dev/block/bootdevice/by-name/abl_a");
package_extract_file("firmware-update/abl.elf", "/dev/block/bootdevice/by-name/abl_b");
show_progress(0.100000, 2);
