Lines Matching defs:kernel
65 * kernel: kernel image to load
75 char **nics, int ndisks, char **disks, int *disktypes, char *kernel,
85 if (kernel) {
86 if (unveil(kernel, "r") == -1)
87 err(1, "unveil boot kernel");
100 if (kernel)
111 else if (kernel == NULL && ndisks == 0)
113 if (kernel == NULL && ndisks == 0 && !iso)
114 errx(1, "no kernel or disk/cdrom specified");
119 if (kernel == NULL && nnics == 0)
128 /* vcp includes configuration that is shared with the kernel */
186 if (kernel != NULL) {
187 if (strnlen(kernel, PATH_MAX) == PATH_MAX)
188 errx(1, "kernel name too long");
189 vmc->vmc_kernel = open(kernel, O_RDONLY);
191 err(1, "cannot open kernel '%s'", kernel);
194 err(1, "fstat kernel");
196 errx(1, "kernel must be a regular file");