Lines Matching full:kernelfile
472 char* kernelFile = opts->kernel;
475 if (kernelFile == NULL) {
476 kernelFile = avdInfo_getKernelPath(avd);
477 if (kernelFile == NULL) {
481 D("autoconfig: -kernel %s", kernelFile);
483 if (!path_exists(kernelFile)) {
484 derror( "Invalid or missing kernel image file: %s", kernelFile );
488 hw->kernel_path = kernelFile;
503 kernelFileLen = strlen(kernelFile);
504 if (kernelFileLen > 6 && !memcmp(kernelFile + kernelFileLen - 6, "-armv7", 6)) {
