Home | History | Annotate | Download | only in boot

Lines Matching defs:kernel

87  * We won't go overboard with gzip'd kernel names.  After all we can
88  * still boot a gzip'd kernel called "netbsd.arc" - it doesn't need
132 	const char     *kernel = NULL;
182 	kernel = firmware_getenv("OSLoadFilename");
183 	if (kernel == NULL)
184 		kernel = arcbios_GetEnvironmentVariable("OSLoadFilename");
186 	DPRINTF("kernel = %s\n", kernel ? kernel : "<null>");
189 	 * The first arg is assumed to contain the name of the kernel to boot,
196 			kernel = argv[i];
201 	if (kernel != NULL) {
207 		if (strchr(kernel, '('))
208 			win = loadfile(kernel, marks, LOAD_KERNEL);
211 			strcat(bootfile, kernel);
220 			kernel = kernelnames[i];
235 	strlcpy(bi_bpath.bootpath, kernel, BTINFO_BOOTPATH_LEN);
252 	printf("Kernel returned!  Halting...\n");