get_device_compatible("falcon") == "OK" || abort("This package is for \"falcon\" devices; this is a \"" + getprop("ro.product.device") + "\".");
ui_print("Target: Zebra/falcon/falcon:6.0.1/01-15-01.3-MG-00/97:user/test-keys");
ui_print("==== Enterprise Reset ====");
ui_print("formatting data partition...");
format("ext4", "EMMC", "/dev/block/bootdevice/by-name/userdata", "-16384", "/data");
ui_print("done.");
show_progress(0.100000, 0);
show_progress(0.750000, 0);
show_progress(0.200000, 10);
