assert(getprop("ro.product.device") == "HM2014811" || getprop("ro.build.product") == "HM2014811" || 
       getprop("ro.product.device") == "HM2014812" || getprop("ro.build.product") == "HM2014812" || 
       getprop("ro.product.device") == "HM2014813" || getprop("ro.build.product") == "HM2014813" || 
       getprop("ro.product.device") == "HM2014814" || getprop("ro.build.product") == "HM2014814" || 
       getprop("ro.product.device") == "HM2014815" || getprop("ro.build.product") == "HM2014815" || 
       getprop("ro.product.device") == "HM2014816" || getprop("ro.build.product") == "HM2014816" || 
       getprop("ro.product.device") == "HM2014817" || getprop("ro.build.product") == "HM2014817" || 
       getprop("ro.product.device") == "HM2014818" || getprop("ro.build.product") == "HM2014818" || 
       getprop("ro.product.device") == "HM2014819" || getprop("ro.build.product") == "HM2014819" || 
       getprop("ro.product.device") == "HM2014820" || getprop("ro.build.product") == "HM2014820" || 
       getprop("ro.product.device") == "HM2014821" || getprop("ro.build.product") == "HM2014821" || 
       getprop("ro.product.device") == "HM2014112" || getprop("ro.build.product") == "HM2014112" || 
       getprop("ro.product.device") == "wt88047" || getprop("ro.build.product") == "wt88047" || 
       getprop("ro.product.device") == "wt86047" || getprop("ro.build.product") == "wt86047" || abort("E3004: This package is for device: HM2014811,HM2014812,HM2014813,HM2014814,HM2014815,HM2014816,HM2014817,HM2014818,HM2014819,HM2014820,HM2014821,HM2014112,wt88047,wt86047; this device is " + getprop("ro.product.device") + "."););
ui_print("Target: Xiaomi/2014817/HM2014817:5.1.1/LMY47V/V9.2.5.0.LHJMIEK:user/release-keys");
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", "/dev/block/bootdevice/by-name/system", "ext4");
ui_print("Patching system image unconditionally...");
show_progress(0.800000, 0);
block_image_update("/dev/block/bootdevice/by-name/system", package_extract_file("system.transfer.list"), "system.new.dat.br", "system.patch.dat") ||
  abort("E1001: Failed to update system image.");
ui_print("Patching vendor image unconditionally...");
show_progress(0.100000, 0);
block_image_update("/dev/block/bootdevice/by-name/oem", package_extract_file("vendor.transfer.list"), "vendor.new.dat.br", "vendor.patch.dat") ||
  abort("E2001: Failed to update vendor image.");
show_progress(0.020000, 10);
run_program("/tmp/install/bin/backuptool.sh", "restore", "/dev/block/bootdevice/by-name/system", "ext4");
package_extract_file("boot.img", "/dev/block/bootdevice/by-name/boot");
show_progress(0.100000, 10);
set_progress(1.000000);
