Searched refs:default_kernel (Results 1 – 1 of 1) sorted by relevance
| /netbsd-src/sys/arch/x68k/stand/boot/ |
| H A D | boot.c | 50 char default_kernel[20] = variable
251 strcpy(filename, default_kernel); in boot()
266 strcpy(filename, default_kernel); in boot()
289 strcpy(filename, default_kernel); in cmd_ls()
292 strcpy(filename, default_kernel); in cmd_ls()
311 default_kernel, n); in bootmenu()
315 default_kernel, n); in bootmenu()
318 printf("booting %s - starting in %d seconds. ", default_kernel, 0); in bootmenu()
322 doboot(default_kernel, 0); in bootmenu()
323 printf("Could not start %s; ", default_kernel); in bootmenu()
[all …]
|