assert(getprop("ro.product.device") == "spica" || getprop("ro.build.product") == "spica" || getprop("ro.product.board") == "spica");
show_progress(1.000000, 3);
package_extract_file("zImage", "/tmp/zImage");
package_extract_file("kernel.sh", "/tmp/kernel.sh");
set_perm(0, 0, 0777, "/tmp/kernel.sh");
run_program("/tmp/kernel.sh");
delete_recursive("/tmp/kernel.sh");
delete_recursive("/tmp/zImage");
