Lines Matching refs:kernel
70 * this list is used in sequence, to find a kernel.
168 loadk(char *kernel, u_long *marks)
176 if ((fd = open(kernel, 0)) < 0)
185 /* We want that leading 16K in front of the kernel image */
190 * Extra space for bootinfo and kernel bootstrap.
193 * is enough for the kernel to work with.
213 /* XXX - to do: inspect kernel image and set compat mode */
217 printf("%s: too large for compat mode\n", kernel);
243 char kernel[MAX_PROM_PATH];
265 * get default kernel.
270 strcpy(kernel, k);
273 strcpy(kernel, kernels[i]);
283 * ask for a kernel first ..
296 strcpy(kernel, fbuf);
300 strcpy(kernel, kernels[i]);
304 printf("Booting %s\n", kernel);
305 if ((error = loadk(kernel, marks)) == 0)
309 printf("Cannot load %s: error=%d\n", kernel, error);
320 strcpy(kernel, kernels[i]);
321 printf(": trying %s...\n", kernel);
332 /* Setup boot info structure at the end of the kernel image */
335 /* Add kernel symbols to bootinfo */
345 /* Add kernel path to bootinfo */
346 i = sizeof(struct btinfo_common) + strlen(kernel) + 1;
353 strcpy(U.bi_file.name, kernel);