Lines Matching defs:kernel
47 * We won't go overboard with gzip'd kernel names. After all we can
48 * still boot a gzip'd kernel called "netbsd.emips" - it doesn't need
82 char *name, **namep, *dev, *kernel;
94 * That allows for a large kernel, and a 16MB configuration still works.
116 kernel = kernelnames[0];
122 strcat(bootpath, kernel);
135 kernel = *namep;
137 strcat(bootpath, kernel);
147 strncpy(bi_bpath.bootpath, name/*kernel?*/, BTINFO_BOOTPATH_LEN);
158 (void)printf("KERNEL RETURNED!\n");
321 /* Copy kernel name before we overwrite, then do it */
Indexes created Sat Sep 20 22:09:52 GMT 2025