HomeSort by: relevance | last modified time | path
    Searched defs:default_kernel (Results 1 - 1 of 1) sorted by relevancy

  /src/sys/arch/x68k/stand/boot/
boot.c 50 char default_kernel[20] = variable in typeref:typename:char[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);
    [all...]

Completed in 12 milliseconds