kernelfile         52 stand/boot/boot.c char *kernelfile = KERNEL;		/* can be changed by MD code */
kernelfile         68 stand/boot/boot.c 	strlcpy(cmd.image, kernelfile, sizeof(cmd.image));
kernelfile         95 stand/boot/boot.c 		kernelfile = KERNEL;
kernelfile         97 stand/boot/boot.c 		strlcpy(cmd.image, kernelfile, sizeof(cmd.image));
kernelfile         98 stand/boot/boot.c 		printf(" failed(%d). will try %s\n", errno, kernelfile);