get_device_compatible("ferrari") == "OK" || abort("This package is for \"ferrari\" devices; this is a \"" + getprop("ro.product.device") + "\".");

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

ui_print("Patching firmware images...");
package_extract_file("images/tz.mbn", "/dev/block/bootdevice/by-name/tz");
package_extract_file("images/hyp.mbn", "/dev/block/bootdevice/by-name/hyp");
package_extract_file("images/sbl1.mbn", "/dev/block/bootdevice/by-name/sbl1");
package_extract_file("images/rpm.mbn", "/dev/block/bootdevice/by-name/rpm");
package_extract_file("images/emmc_appsboot.mbn", "/dev/block/bootdevice/by-name/aboot");
package_extract_file("images/tz.mbn", "/dev/block/bootdevice/by-name/tzbak");
package_extract_file("images/hyp.mbn", "/dev/block/bootdevice/by-name/hypbak");
package_extract_file("images/sbl1.mbn", "/dev/block/bootdevice/by-name/sbl1bak");
package_extract_file("images/rpm.mbn", "/dev/block/bootdevice/by-name/rpmbak");
package_extract_file("images/emmc_appsboot.mbn", "/dev/block/bootdevice/by-name/abootbak");
package_extract_file("images/NON-HLOS.bin", "/dev/block/bootdevice/by-name/modem");
