51 	const char *kernel, *args;  in execute()  local
70 	kernel = q;  in execute()
92 	dprintf("kernel is %s, args = %s  type = %d \n", kernel, args, type);  in execute()
94 	if (kernel[0] == '.') {  in execute()
98 			if (!strcmp(kernel + 1, t->name)) {  in execute()
126 			printf("Failed to load COM32 file %s\n", kernel);  in execute()
150 		realpath(config, kernel, FILENAME_MAX);  in execute()
160 		local_boot(strtoul(kernel, NULL, 0));  in execute()
163 		chainboot_file(kernel, type);  in execute()
167 		new_linux_kernel((char *)kernel, (char *)args);  in execute()
171 	free((void *)kernel);  in execute()