Lines Matching defs:kernel
353 char *kernel = NULL;
361 * and use that to load the kernel. However, if we only find
436 * component of the path. If it's a file, then we set the default kernel
446 return (BOOT_INFO_OK); /* use currdir, default kernel */
449 ucs2_to_utf8(fp->PathName, &kernel);
450 if (kernel == NULL) {
451 printf("Not using Boot%04x: can't decode kernel\n", boot_current);
454 if (*kernel == '\\' || isupper(*kernel))
455 fix_dosisms(kernel);
456 if (stat(kernel, &st) != 0) {
457 free(kernel);
459 kernel);
462 setenv("kernel", kernel, 1);
463 free(kernel);
467 kernel);
483 * /boot/kernel/kernel (the default kernel) that we can use.
542 * we'll load the kernel specified by the file path. Should there
695 * loader and kernel env vars to be passed on the command line. Convert
1028 * howto is set now how we want to export the flags to the kernel, so