assert(getprop("ro.product.device") == "sagit" || getprop("ro.build.product") == "sagit" || abort("E3004: This package is for device: sagit; this device is " + getprop("ro.product.device") + "."););
assert(xiaomi.verify_trustzone("TZ.BF.4.0.6-00124","TZ.BF.4.0.6-00130","TZ.BF.4.0.6-00157") == "1");
ui_print("Target: Xiaomi/sagit/sagit:8.0.0/OPR1.170623.027/V9.2.3.0.OCAMIEK:user/release-keys");
ifelse(is_mounted("/system"), unmount("/system"));
ui_print("#######################################");
ui_print("# _____            __  __  ______     #");
ui_print("#/\  __`\  /'\_/`\/\ \/\ \/\__  _\    #");
ui_print("#\ \ \/\ \/\  ``  \ \ ` \ \/_/\ \/    #");
ui_print("# \ \ \ \ \ \ \__\ \ \ . ` \ \ \ \    #");
ui_print("#  \ \ \_\ \ \ \_/\ \ \ \`\ \ \_\ \__ #");
ui_print("#   \ \_____\ \_\, \_\ \_\ \_\/\_____\#");
ui_print("#    \/_____/\/_/ \/_/\/_/\/_/\/_____/#");
ui_print("#                                     #");
ui_print("#######################################");
ui_print("Backup");
mount("ext4", "EMMC", "/dev/block/bootdevice/by-name/system", "/system", "");
run_program("/system/bin/backuptool.sh", "backup");
unmount("/system");
show_progress(0.650000, 0);
ui_print("Patching system image unconditionally...");
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.");
show_progress(0.100000, 0);
ui_print("Patching vendor image unconditionally...");
block_image_update("/dev/block/bootdevice/by-name/cust", package_extract_file("vendor.transfer.list"), "vendor.new.dat", "vendor.patch.dat") ||
  abort("E2001: Failed to update vendor image.");
ui_print("Restore");
show_progress(0.020000, 10);
mount("ext4", "EMMC", "/dev/block/bootdevice/by-name/system", "/system", "");
run_program("/system/bin/backuptool.sh", "restore");
unmount("/system");
show_progress(0.050000, 5);
package_extract_file("boot.img", "/dev/block/bootdevice/by-name/boot");
show_progress(0.200000, 10);
set_progress(1.000000);
