Home | History | Annotate | Download | only in boot

Lines Matching defs:netbsd

1 /*	$NetBSD: boot.c,v 1.21 2018/10/14 00:10:11 tsutsui Exp $	*/
51 char *kernels[] = { "/netbsd", "/netbsd.gz", NULL };
64 	char *netbsd = "";
105 			if (argv[i][0] != '-' && *netbsd == 0)
106 				netbsd = argv[i];
113 		DPRINTF("bootname = %s\n", netbsd);
132 			netbsd = bootname;
137 		DPRINTF("bootname = %s\n", netbsd);
154 	printf("Booting %s%s\n", devname, netbsd);
157 	if (*netbsd) {
158 		kernels[0] = netbsd;