Lines Matching refs:kernel
81 * We won't go overboard with gzip'd kernel names. After all we can
82 * still boot a gzip'd kernel called "netbsd.sgimips" - it doesn't need
124 const char *kernel = NULL;
158 * device we've booted from. Derive the install kernel name from
169 kernel = "ip3x";
171 kernel = "ip2x";
172 strcpy(ep + 1, kernel);
190 kernel = arcbios_GetEnvironmentVariable("OSLoadFilename");
193 * argv[1] is assumed to contain the name of the kernel to boot,
199 kernel = argv[1];
201 if (kernel != NULL) {
207 if (strchr(kernel, '('))
208 win = loadfile(kernel, marks, LOAD_KERNEL);
211 strcat(bootfile, kernel);
220 kernel = kernelnames[i];