| ␉␉␉␉verbose("Kernel cache did not load %s\n ", bootFile);␊ |
| }␊ |
| ␊ |
| bootFile = bootInfo->bootFile;␊ |
| if (checkOSVersion("10.7")) {␊ |
| bootFile = gBootKernelCacheFile;␊ |
| }␊ |
| else {␊ |
| sprintf(bootFile, "\%s", bootInfo->bootFile);␊ |
| }␊ |
| ␊ |
| // Try to load kernel image from alternate locations on boot helper partitions.␊ |
| sprintf(bootFileSpec, "com.apple.boot.P%s", bootFile);␊ |
|
| if (ret == -1)␊ |
| {␊ |
| // No alternate location found, using the original kernel image path.␊ |
| strcpy(bootFileSpec, bootFile);␊ |
| strcpy(bootFileSpec, bootInfo->bootFile);␊ |
| }␊ |
| }␊ |
| }␊␊ |
