Home | History | Annotate | Download | only in boot

Lines Matching defs:default_kernel

50 char default_kernel[20] =
251 		strcpy(filename, default_kernel);
266 			strcpy(filename, default_kernel);
289 		strcpy(filename, default_kernel);
292 		strcpy(filename, default_kernel);
311 		default_kernel, n);
315 		       default_kernel, n);
318 	printf("booting %s - starting in %d seconds. ", default_kernel, 0);
322 		doboot(default_kernel, 0);
323 		printf("Could not start %s; ", default_kernel);
324 		strcat(default_kernel, ".gz");
325 		printf("trying %s.\n", default_kernel);
326 		doboot(default_kernel, 0);
327 		printf("Could not start %s; ", default_kernel);
412 		default_kernel[0] = 'f';
413 		default_kernel[2] = '0' + B_UNIT(bootdev);
414 		default_kernel[3] = 'a';
420 		default_kernel[2] = '0' + B_X68K_SCSI_ID(bootdev);
425 		default_kernel[3] = 'a' + part;
429 		default_kernel[0] = 'c';
430 		default_kernel[2] = '0' + B_X68K_SCSI_ID(bootdev);
431 		default_kernel[3] = 'a';